INORDER = pa1 pb2 pp pa0 pc2 pq pb0 pc1 pr pa2 pb1 pc0 ps pd0 pe1 pf2 pt pd1 
pe0 pg2 pu pd2 pf0 pg1 pv pe2 pf1 pg0 pw ph0 pi1 px ph1 pi0 py ph2 pj0 pk1 pz 
pj1 pk0 pl0 pm1 pl1 pm0 pn0 po1 pn1 po0 pp0 pq1 pa pp1 pq0 pb pr0 ps1 pr1 ps0 
pd pt0 pu1 pe pt1 pu0 pf pv0 pw1 pg pv1 pw0 ph px0 py1 pi px1 py0 pj pz0 pk 
pz1 pl pm pn po;
OUTORDER = pc3 pd4 pb3 pe4 pa3 pf4 pg4 pg3 pa4 pf3 pb4 pe3 pc4 pd3 pj2 pk3 pl4 
pj3 pk2 pm4 pi3 pn4 ph3 pi2 po4 ph4 pn2 po3 pi4 pn3 po2 pj4 pl2 pm3 pk4 pl3 
pm2 pr2 ps3 pt4 pr3 ps2 pu4 pp2 pq3 pv4 pp3 pq2 pp4 pv2 pw3 pq4 pv3 pw2 pr4 
pt2 pu3 ps4 pt3 pu2 pz2 pz3 px2 py3 px3 py2;
pc3 = n_n103 + n_n102;
pd4 = [642] + [641];
pb3 = n_n105 + n_n104;
pe4 = [645] + n_n87;
pa3 = n_n107 + n_n106;
pf4 = [646] + n_n82;
pg4 = [647] + n_n79;
pg3 = n_n96 + n_n97;
pa4 = pl1*ny9;
pf3 = [661] + n_n98;
pb4 = pm1*ny9;
pe3 = ng10 + n_n99;
pc4 = pn1*ny9;
pd3 = n_n101 + n_n100;
pj2 = [674] + n_n138;
pk3 = pv0*nz9;
pl4 = na10*[677];
pj3 = pu0*nz9;
pk2 = n_n135 + n_n136;
pm4 = [695] + [694];
pi3 = pt0*nz9;
pn4 = [696]*[697];
ph3 = pg*nz9;
pi2 = [698] + n_n140;
po4 = [712] + [711];
ph4 = [713] + n_n78;
pn2 = n_n133 + n_n132;
po3 = pz0*nz9;
pi4 = [714] + n_n75;
pn3 = py0*nz9;
po2 = n_n130 + n_n131;
pj4 = [715] + n_n72;
pl2 = nl10*[625];
pm3 = px0*nz9;
pk4 = n_n68 + n_n69;
pl3 = pw0*nz9;
pm2 = n_n134 + nh10;
pr2 = n_n125 + n_n124;
ps3 = pd1*ny9;
pt4 = pf2*nf10;
pr3 = pc1*ny9;
ps2 = n_n123 + n_n122;
pu4 = n_n43 + n_n42;
pp2 = n_n129 + n_n128;
pq3 = pb1*ny9;
pv4 = ph2*nf10;
pp3 = n_n94 + n_n95;
pq2 = n_n127 + n_n126;
pp4 = [727] + n_n53;
pv2 = n_n117 + n_n116;
pw3 = ph1*ny9;
pq4 = [741] + n_n53;
pv3 = pg1*ny9;
pw2 = n_n115 + n_n114;
pr4 = [747] + n_n47;
pt2 = n_n120 + n_n121;
pu3 = pf1*ny9;
ps4 = n_n44 + ng10;
pt3 = pe1*ny9;
pu2 = n_n119 + n_n118;
pz2 = n_n109 + n_n108;
pz3 = pk1*ny9;
px2 = n_n113 + n_n112;
py3 = pj1*ny9;
px3 = pi1*ny9;
py2 = n_n110 + n_n111;
n_n137 = !pb*[673];
n_n131 = pz*!pp0;
n_n122 = pj1*pp0;
n_n123 = pd0*!pp0;
nz9 = n_n40 + n_n39;
ny9 = n_n41 + nz9;
nq10 = !nd10*[644];
n_n85 = pr1*nq10;
np10 = [631]*[632];
n_n77 = pm*np10;
no10 = pl2*[626];
n_n69 = px*no10;
n_n138 = !pb*!nc10;
n_n130 = pn1*pp0;
n_n124 = pk1*pp0;
n_n90 = [616]*[617];
n_n89 = [623]*[624];
n_n92 = pq*no10;
n_n91 = [628]*[629];
n_n93 = pi*np10;
n_n88 = [637]*[638];
n_n86 = pj*np10;
n_n76 = pu1*nq10;
n_n68 = pp*np10;
nj10 = !pb2*pa2;
nh10 = pc2*!pb;
n_n136 = nh10*[662];
n_n132 = po1*pp0;
n_n125 = pc0*!pp0;
n_n106 = pp0*pw0;
n_n107 = pl0*!pp0;
n_n100 = pp0*pt0;
n_n84 = ps*no10;
n_n78 = pu*no10;
n_n70 = pw1*nq10;
n_n135 = nk10*[663];
n_n101 = po0*!pp0;
n_n83 = pk*np10;
n_n82 = ps1*nq10;
n_n71 = po*np10;
n_n141 = pb1*pp0;
n_n140 = pp0*pm2;
n_n142 = !pp0*ph;
nl10 = pb2*!pc2;
n_n128 = pm1*pp0;
n_n121 = pe0*!pp0;
n_n112 = pp0*pz0;
n_n113 = pi0*!pp0;
n_n74 = pn*np10;
n_n67 = !pb2*!pa2;
nc10 = !pa2 + !pb2;
nk10 = pb2*!pa2;
n_n120 = pi1*pp0;
n_n114 = pa1*pp0;
n_n73 = pv1*nq10;
n_n66 = !nd10*[679];
n_n65 = nd10*[681];
n_n62 = nd10*[684];
n_n64 = [685]*[686];
n_n63 = nd10*[689];
n_n129 = pa0*!pp0;
ne10 = nv10*[618];
nd10 = n_n36 + n_n35;
n_n81 = pt*no10;
n_n75 = pv*no10;
na10 = !nc10*[654];
nv10 = !pf2*!pe2;
n_n134 = !pb*nc10;
n_n80 = pl*np10;
n_n79 = pt1*nq10;
n_n118 = ph1*pp0;
n_n111 = pj0*!pp0;
n_n102 = pp0*pu0;
n_n103 = pn0*!pp0;
n_n97 = [649]*[650];
n_n95 = pa1*nz9;
n_n116 = pg1*pp0;
n_n117 = pg0*!pp0;
n_n110 = pp0*py0;
n_n96 = [652]*[653];
nb10 = n_n37 + n_n38;
n_n94 = nb10*[720];
nu10 = [669] + [668];
n_n119 = pf0*!pp0;
ns10 = n_n26 + n_n25;
n_n133 = py*!pp0;
n_n126 = pl1*pp0;
n_n115 = ph0*!pp0;
n_n108 = pp0*px0;
n_n99 = pk2*[664];
n_n72 = pw*no10;
n_n127 = pb0*!pp0;
n_n109 = pk0*!pp0;
n_n104 = pp0*pv0;
n_n105 = pm0*!pp0;
ng10 = n_n34 + n_n33;
n_n139 = !pc2*!pb;
n_n98 = pg*[660];
n_n87 = pr*no10;
n_n50 = nd10*[729];
n_n49 = [731]*[732];
n_n52 = !pb*nl10;
n_n51 = [733]*[734];
n_n53 = !pb*nm10;
n_n48 = [736]*[737];
n_n44 = pe2*nf10;
n_n39 = na10*[656];
n_n33 = nt10*[671];
n_n34 = nn10*[672];
nm10 = n_n29 + n_n28;
n_n45 = [742]*[743];
ni10 = [716] + n_n31;
nf10 = nh10*ni10;
n_n40 = na10*[658];
nr10 = n_n27 + nv10;
n_n35 = pe2*!ph2;
n_n30 = nk10*!nd10;
n_n27 = pf2*pe2;
n_n25 = !pg2*!nr10;
n_n26 = pg2*nr10;
n_n42 = [717]*[718];
n_n43 = pg2*nf10;
n_n38 = !ph2*ns10;
nn10 = pb2*pf;
n_n37 = ph2*!ns10;
n_n31 = nj10*!nd10;
n_n32 = !pf*!nc10;
n_n28 = !pc2*!pf;
n_n58 = [700]*[701];
nt10 = nu10*[670];
n_n57 = !nu10*[704];
n_n59 = [706]*[707];
n_n54 = [721]*[722];
n_n56 = nl10*[723];
n_n55 = [724]*[725];
n_n46 = [744]*[745];
n_n47 = ni10*[746];
n_n41 = nb10*[659];
n_n36 = !pe2*ph2;
n_n60 = nk10*[708];
n_n61 = !pf*[709];
n_n29 = nn10*nt10;
[615] = !pb*pc2;
[616] = nj10*py1;
[617] = !nd10*[615];
[618] = !ph2*!pg2;
[619] = pd2*pc2;
[620] = pq0*pp1;
[621] = nj10*!pb;
[622] = [620]*[619];
[623] = nd10*ne10;
[624] = [622]*[621];
[625] = !pb*pb1;
[626] = pf*!pa2;
[627] = pq1*pc2;
[628] = nj10*!pb;
[629] = !nd10*[627];
[630] = !pb1*!pa2;
[631] = pf*!pb;
[632] = [630]*nl10;
[633] = pd2*pc2;
[634] = !pq0*!pp1;
[635] = nj10*!pb;
[636] = [634]*[633];
[637] = nd10*ne10;
[638] = [636]*[635];
[639] = n_n90 + n_n89;
[640] = n_n92 + n_n91;
[641] = n_n93 + n_n88;
[642] = [639] + [640];
[643] = !pb*pc2;
[644] = [643]*nj10;
[645] = n_n85 + n_n86;
[646] = n_n84 + n_n83;
[647] = n_n81 + n_n80;
[648] = !pb*!pc2;
[649] = !pf*!ps0;
[650] = [648]*pg;
[651] = !ps0*!pb;
[652] = pg*!pf;
[653] = [651]*!nc10;
[654] = nh10*!pf;
[655] = !pr0*!ph2;
[656] = !nr10*[655];
[657] = !pr0*ph2;
[658] = nr10*[657];
[659] = na10*pr0;
[660] = !pf*!pc2;
[661] = !pa + pb;
[662] = nj10*pp1;
[663] = nh10*py1;
[664] = !nd10*!pq0;
[665] = !pf2 + pg2;
[666] = !pd2 + !pe2;
[667] = !ph2 + !ps0;
[668] = px1 + [665];
[669] = [666] + [667];
[670] = !pr0*pa2;
[671] = nn10*!pb;
[672] = !pb*!pc2;
[673] = !pa2*!pb2;
[674] = n_n139 + n_n137;
[675] = !pd2*pg2;
[676] = nv10*ph2;
[677] = [676]*[675];
[678] = pz1*pc2;
[679] = [678]*nc10;
[680] = !pd2*pc2;
[681] = [680]*nc10;
[682] = !pa2*pc2;
[683] = !py1*!pq0;
[684] = [683]*[682];
[685] = nc10*pc2;
[686] = nd10*!ne10;
[687] = !pa2*pc2;
[688] = py1*pq0;
[689] = [688]*[687];
[690] = !pa + pb;
[691] = n_n67 + [690];
[692] = [691] + n_n66;
[693] = n_n65 + n_n62;
[694] = n_n63 + n_n64;
[695] = [692] + [693];
[696] = !pb*pa;
[697] = pe*!pd;
[698] = n_n141 + n_n142;
[699] = pp0*!pc2;
[700] = !pr0*!pb;
[701] = [699]*nj10;
[702] = !pr0*pa2;
[703] = nn10*nh10;
[704] = [703]*[702];
[705] = !pp0*pa2;
[706] = nh10*pr0;
[707] = [705]*nn10;
[708] = !pb*!pc2;
[709] = !pb*!pc2;
[710] = n_n60 + n_n61;
[711] = n_n58 + n_n59;
[712] = [710] + n_n57;
[713] = n_n77 + n_n76;
[714] = n_n74 + n_n73;
[715] = n_n70 + n_n71;
[716] = n_n32 + n_n30;
[717] = !pb*!pa2;
[718] = nl10*pf;
[719] = pg*pr0;
[720] = na10*[719];
[721] = pp0*pa2;
[722] = nn10*!pb;
[723] = !pb*pa2;
[724] = pa2*!pc2;
[725] = !pb*pp0;
[726] = n_n56 + n_n55;
[727] = n_n54 + [726];
[728] = !pb*!pd2;
[729] = [728]*nk10;
[730] = !pb*pc2;
[731] = [730]*nj10;
[732] = nd10*!ne10;
[733] = nk10*!pb;
[734] = nd10*!ne10;
[735] = !pd2*pc2;
[736] = nj10*!pb;
[737] = nd10*[735];
[738] = n_n52 + n_n50;
[739] = n_n49 + n_n51;
[740] = n_n48 + [738];
[741] = [739] + [740];
[742] = nh10*pd2;
[743] = ne10*nk10;
[744] = nj10*pd2;
[745] = ne10*nh10;
[746] = nh10*pd2;
[747] = n_n45 + n_n46;