INORDER = pp pa0 pq pb0 pr pc0 ps pd0 pt pe0 pu pf0 pv pg0 pw ph0 px pi0 py 
pj0 pz pk0 pl0 pm0 pn0 po0 pp0 pa pq0 pr0 pc ps0 pd pt0 pe pu0 pf pv0 pg ph pi 
pj pk pl pm pn po;
OUTORDER = pa1 pb2 pc2 pc1 pa2 pb1 pe1 pf2 pd1 pd2 pg1 pe2 pf1 pi1 ph1 pk1 pj1 
pm1 pl1 po1 pn1 pq1 pp1 ps1 pr1 pu1 pt1 pw1 pv1 pw0 px0 py1 px1 py0 pz0 pz1;
pa1 = [533] + n_n112;
pb2 = [540] + [539];
pc2 = [547] + [546];
pc1 = [551] + n_n106;
pa2 = [558] + [557];
pb1 = [562] + n_n109;
pe1 = [566] + n_n98;
pf2 = [573] + [572];
pd1 = [577] + n_n103;
pd2 = [584] + [583];
pg1 = [588] + n_n94;
pe2 = [595] + [594];
pf1 = [599] + n_n97;
pi1 = [603] + n_n86;
ph1 = [607] + n_n89;
pk1 = [611] + n_n82;
pj1 = [615] + n_n85;
pm1 = [619] + n_n74;
pl1 = [623] + n_n79;
po1 = [627] + n_n70;
pn1 = [631] + n_n73;
pq1 = [635] + n_n64;
pp1 = [639] + n_n65;
ps1 = [643] + n_n58;
pr1 = [647] + n_n61;
pu1 = [651] + n_n51;
pt1 = [655] + n_n55;
pw1 = [659] + n_n46;
pv1 = [663] + n_n49;
pw0 = [667] + n_n122;
px0 = [671] + n_n120;
py1 = [678] + [677];
px1 = [696] + [695];
py0 = [700] + n_n117;
pz0 = [704] + n_n115;
pz1 = [711] + [710];
n_n124 = pm*[664];
n_n114 = !pl*[701];
n_n113 = !pl*[702];
n_n115 = !pl*[703];
n_n107 = !pl*[559];
n_n99 = !pl*[563];
n_n91 = !pl*[604];
n_n81 = !pl*[608];
n_n80 = !pl*[609];
n_n82 = !pl*[610];
n_n123 = !pl*[665];
n_n116 = po*[697];
n_n105 = !pl*[548];
n_n104 = !pl*[549];
n_n106 = !pl*[550];
n_n100 = !pl*[564];
n_n90 = !pl*[605];
n_n83 = !pl*[612];
n_n96 = !pl*[596];
n_n95 = !pl*[597];
n_n97 = !pl*[598];
n_n92 = !pl*[585];
n_n84 = !pl*[613];
n_n98 = !pl*[565];
n_n89 = !pl*[606];
n_n85 = !pl*[614];
n_n88 = !pl*[600];
n_n78 = !pl*[620];
n_n77 = !pl*[621];
n_n79 = !pl*[622];
n_n5 = [567]*[568];
n_n7 = !pl*[569];
n_n6 = !pl*[570];
n_n8 = !pl*[571];
n_n102 = !pl*[574];
n_n101 = !pl*[575];
n_n103 = !pl*[576];
n_n87 = !pl*[601];
n_n93 = !pl*[586];
n_n94 = !pl*[587];
n_n86 = !pl*[602];
n_n118 = po*[698];
n_n108 = !pl*[560];
n_n109 = !pl*[561];
n_n117 = !pl*[699];
n_n110 = !pl*[530];
n_n122 = pm*[666];
n_n119 = pn*[668];
n_n111 = !pl*[531];
n_n112 = !pl*[532];
n_n121 = pn*[669];
n_n120 = !pl*[670];
n_n75 = !pl*[616];
n_n67 = !pl*[636];
n_n57 = !pl*[640];
n_n56 = !pl*[641];
n_n58 = !pl*[642];
n_n50 = !pl*[648];
n_n42 = [679]*[680];
n_n76 = !pl*[617];
n_n66 = !pl*[637];
n_n59 = !pl*[644];
n_n48 = !pl*[660];
n_n47 = !pl*[661];
n_n49 = !pl*[662];
n_n43 = !pl*[681];
n_n74 = !pl*[618];
n_n65 = !pl*[638];
n_n52 = !pl*[649];
n_n40 = [682]*[683];
n_n39 = [684]*[685];
n_n41 = [686]*[687];
n_n38 = [688]*[689];
n_n37 = [690]*[691];
n_n63 = !pl*[632];
n_n62 = !pl*[633];
n_n64 = !pl*[634];
n_n51 = !pl*[650];
n_n44 = !pl*[656];
n_n36 = !pl*[672];
n_n27 = !pl*[552];
n_n18 = !pl*[541];
n_n9 = [589]*[590];
n_n35 = !pl*[673];
n_n28 = !pl*[553];
n_n17 = [542]*[543];
n_n10 = !pl*[591];
n_n34 = !pl*[674];
n_n25 = [554]*[555];
n_n20 = !pl*[544];
n_n11 = !pl*[592];
n_n33 = [675]*[676];
n_n26 = !pl*[556];
n_n19 = !pl*[545];
n_n12 = !pl*[593];
n_n30 = !pl*[705];
n_n21 = [534]*[535];
n_n54 = !pl*[652];
n_n53 = !pl*[653];
n_n55 = !pl*[654];
n_n31 = !pl*[706];
n_n13 = [578]*[579];
n_n71 = !pl*[628];
n_n23 = !pl*[536];
n_n14 = !pl*[580];
n_n69 = !pl*[624];
n_n68 = !pl*[625];
n_n70 = !pl*[626];
n_n29 = [707]*[708];
n_n22 = !pl*[537];
n_n15 = !pl*[581];
n_n72 = !pl*[629];
n_n60 = !pl*[645];
n_n61 = !pl*[646];
n_n45 = !pl*[657];
n_n24 = !pl*[538];
n_n16 = !pl*[582];
n_n73 = !pl*[630];
n_n46 = !pl*[658];
n_n32 = !pl*[709];
[530] = pd*pq;
[531] = pi*pd;
[532] = !pi*pq;
[533] = n_n110 + n_n111;
[534] = ps0*!pp;
[535] = !pl*pk;
[536] = pr0*pp;
[537] = ps0*pr0;
[538] = !pk*pr0;
[539] = n_n21 + n_n23;
[540] = n_n22 + n_n24;
[541] = pt0*ps0;
[542] = pt0*!pp;
[543] = !pl*pk;
[544] = !pk*ps0;
[545] = ps0*pp;
[546] = n_n18 + n_n17;
[547] = n_n20 + n_n19;
[548] = !pj*ps;
[549] = pt*ps;
[550] = pj*pt;
[551] = n_n105 + n_n104;
[552] = pq0*pp;
[553] = !pk*pq0;
[554] = pr0*!pp;
[555] = !pl*pk;
[556] = pr0*pq0;
[557] = n_n27 + n_n28;
[558] = n_n25 + n_n26;
[559] = pe*pr;
[560] = pi*pe;
[561] = !pi*pr;
[562] = n_n107 + n_n108;
[563] = !pj*pu;
[564] = pj*pv;
[565] = pv*pu;
[566] = n_n99 + n_n100;
[567] = pa*!pp;
[568] = !pl*pk;
[569] = !pk*pv0;
[570] = pv0*pp;
[571] = pv0*pa;
[572] = n_n5 + n_n7;
[573] = n_n6 + n_n8;
[574] = !pj*pt;
[575] = pu*pt;
[576] = pj*pu;
[577] = n_n102 + n_n101;
[578] = pu0*!pp;
[579] = !pl*pk;
[580] = pu0*pt0;
[581] = pt0*pp;
[582] = !pk*pt0;
[583] = n_n13 + n_n14;
[584] = n_n15 + n_n16;
[585] = px*pw;
[586] = !pj*pw;
[587] = pj*px;
[588] = n_n92 + n_n93;
[589] = pv0*!pp;
[590] = !pl*pk;
[591] = pv0*pu0;
[592] = pu0*pp;
[593] = !pk*pu0;
[594] = n_n9 + n_n10;
[595] = n_n11 + n_n12;
[596] = !pj*pv;
[597] = pw*pv;
[598] = pj*pw;
[599] = n_n96 + n_n95;
[600] = pj*pz;
[601] = !pj*py;
[602] = pz*py;
[603] = n_n88 + n_n87;
[604] = pj*py;
[605] = !pj*px;
[606] = py*px;
[607] = n_n91 + n_n90;
[608] = !pj*pa0;
[609] = pb0*pa0;
[610] = pj*pb0;
[611] = n_n81 + n_n80;
[612] = pz*pa0;
[613] = !pj*pz;
[614] = pj*pa0;
[615] = n_n83 + n_n84;
[616] = !pj*pc0;
[617] = pj*pd0;
[618] = pd0*pc0;
[619] = n_n75 + n_n76;
[620] = !pj*pb0;
[621] = pc0*pb0;
[622] = pj*pc0;
[623] = n_n78 + n_n77;
[624] = !pj*pe0;
[625] = pf0*pe0;
[626] = pj*pf0;
[627] = n_n69 + n_n68;
[628] = pe0*pd0;
[629] = !pj*pd0;
[630] = pj*pe0;
[631] = n_n71 + n_n72;
[632] = !pk*pg0;
[633] = ph0*pg0;
[634] = pk*ph0;
[635] = n_n63 + n_n62;
[636] = !pj*pf0;
[637] = pj*pa;
[638] = pa*pf0;
[639] = n_n67 + n_n66;
[640] = !pk*pi0;
[641] = pj0*pi0;
[642] = pk*pj0;
[643] = n_n57 + n_n56;
[644] = pi0*ph0;
[645] = !pk*ph0;
[646] = pk*pi0;
[647] = n_n59 + n_n60;
[648] = pl0*pk0;
[649] = pk*pl0;
[650] = !pk*pk0;
[651] = n_n50 + n_n52;
[652] = !pk*pj0;
[653] = pk0*pj0;
[654] = pk*pk0;
[655] = n_n54 + n_n53;
[656] = pn0*pm0;
[657] = !pk*pm0;
[658] = pk*pn0;
[659] = n_n44 + n_n45;
[660] = !pk*pl0;
[661] = pm0*pl0;
[662] = pk*pm0;
[663] = n_n48 + n_n47;
[664] = !pl*!pi;
[665] = pi*pf;
[666] = !pl*pf;
[667] = n_n124 + n_n123;
[668] = !pl*pg;
[669] = !pl*!pi;
[670] = pi*pg;
[671] = n_n119 + n_n121;
[672] = !pk*po0;
[673] = po0*pp;
[674] = pp0*po0;
[675] = pp0*!pp;
[676] = !pl*pk;
[677] = n_n36 + n_n35;
[678] = n_n34 + n_n33;
[679] = pa*pp;
[680] = !pl*pk;
[681] = !pk*pn0;
[682] = pa*po0;
[683] = !pl*pk;
[684] = po0*!pp;
[685] = !pl*pk;
[686] = pn0*pp;
[687] = !pl*pa;
[688] = po0*pn0;
[689] = !pl*pa;
[690] = pn0*!pp;
[691] = !pl*po0;
[692] = n_n42 + n_n43;
[693] = n_n40 + n_n39;
[694] = n_n41 + n_n38;
[695] = n_n37 + [692];
[696] = [693] + [694];
[697] = !pl*ph;
[698] = !pl*!pi;
[699] = pi*ph;
[700] = n_n116 + n_n118;
[701] = pi*pc;
[702] = pc*pp;
[703] = !pi*pp;
[704] = n_n114 + n_n113;
[705] = pq0*pp0;
[706] = pp0*pp;
[707] = pq0*!pp;
[708] = !pl*pk;
[709] = !pk*pp0;
[710] = n_n30 + n_n31;
[711] = n_n29 + n_n32;