From bosch@smiteo.esd.sgi.com Wed Nov 9 15:53:26 1994 Return-Path: Received: from sgigate.sgi.com by life.ai.mit.edu (4.1/AI-4.10) for /com/archive/cube-lovers id AA16494; Wed, 9 Nov 94 15:53:26 EST Received: from sgihub.corp.sgi.com by sgigate.sgi.com via ESMTP (940627.SGI.8.6.9/911001.SGI) for <@sgigate.sgi.com:cube-lovers@ai.mit.edu> id MAA02361; Wed, 9 Nov 1994 12:53:25 -0800 Received: from smiteo.esd.sgi.com by sgihub.corp.sgi.com via SMTP (940519.SGI.8.6.9/911001.SGI) for <@sgihub.corp.sgi.com:cube-lovers@ai.mit.edu> id MAA13262; Wed, 9 Nov 1994 12:53:23 -0800 Received: by smiteo.esd.sgi.com (931110.SGI/940406.SGI.AUTO) for @sgihub.corp.sgi.com:cube-lovers@ai.mit.edu id AA06009; Wed, 9 Nov 94 12:53:14 -0800 From: "Derek Bosch" Message-Id: <9411091253.ZM6007@smiteo.esd.sgi.com> Date: Wed, 9 Nov 1994 12:53:14 -0800 X-Mailer: Z-Mail-SGI (3.0S.1026 26oct93 MediaMail) To: cube-lovers@ai.mit.edu Subject: Symbolic cube program Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 Since I received many requests for it, here it is. It is a uuencoded, compressed, tar file. Derek -- cut here begin 644 cube.tar.Z M'YV03<*L*6,F#9LR`!(J7,BPH<.'$"-*G$@1`(R+-BZ"L!A#1HV,&R]>[!A2 MI$D:,FZ`@/&QADL8-&[4@+$RQHR+-0"LK,BSI\^?0`'4F4,GC!R+,,2\F3,& M35"';NK4&0/G:4.3&I&:W&BUJ]>O8,,&/8C'19X\+L:`T`&":1@W;LK(49#` M#-FV8][&G0L"A`*T1<6D70L"CM$YS38^J(*;.:<.[=GV4[5ON; MMVD%Q7WKYKW9=F_2JT$[WIR\>&_GFZ%O;L'DQ5`Y+^"4>0/GX`NE3-&\8)-& M3&0V=D\KZ#O?[]<'M43!``!D%16'$B@40$,7("&1``I!H-``"AG@B!^\X(&( M`;T0@`@*"Y#3X(,13M@+*X_TP`P\(8[(H80$*(''B1=F6"(\B`Q`!@Z(?,`` M+C&2`<0B;`C#08XXX%,""QXD-"`B,K0!`"(";,".6/AQP,$?_[B"BH(EP$*E ME0IN4A40.E#2DW5CB&7FF0Z)9`,--(34T4O:`" M"$3(D88=10]I<%^4 M]-33<4<:1&6_/5W>^Z`^^W1L(?[D(*"@.P\D_<`[82B800N*(KD2@&`&:OM= M7_2VP+V!``IR6=7U!&VN**NC@QA\ MIS4)YF]XRNL<\J*8!N8Y[VG0(QSEOF M;NN'*MC=[=RP0U;:\)6HDYT068>R5L80=7-((A.?ID(XY.$+Y$&!"9*PNMDA M\H/D.68R=V>".210:W=`@T%\A0(W^``&5^R+[:3F01.L!`]S"J?6:@=-#"ZE M#"C0(0BJN3H3T.&:Z\QG,:4)!V72H9GXS&<#!=I.%L*3GO,,YCSO^4RM[1.9 M_;1G/:W9T*=Y$&G>]$$,*JI(!C9R5$,@3QK*(+@.^NJ7K7K#WP;GAK%=+'8G MQ%D*HPG15?;REJ:#)0UMZK_$0I2G` MIR(_^L"N2;)PUZLD!SV(JP_F05>^:FGB%M\M,Y;"7BM'1K;Z:0USO,-<-H@%;*Q`!2R$C@A:(H*Q!7,)QA"X5ZG]9NQX;5N<%X?6D8$SAV M!HNM+H. MY36OO./,7W&/J[W)(6V]"?M9`L1I7O3V%VG]^A?WEBLU\K!1C2%`6AKZP@<^ M],7!<\QC?R.\$@'G,VARZ]C71(""$LQ!!,X-PU#=E\`$)$`-Y.,>'.'K8C;T M8*-T24`VMYD_%,`8P^#;@AJZ(#D.IT'``V9GB.FF6!.C&`1N4'$9A$QD&3?Q MO,<=,OX2W-X<:XT.*^@!AN?7OB%;^6EL8-Z9]>;B)8\X!7C+,9C%#`<\EOF- M"8A:_M0@2"03F`X]H$,)9'!FJ$G-8QP&IY?7">*NC9@*V&IQDO/)!A7T@-"+ M3N2BV9R`MKW-Q7\.=`EF4.C.'1H$B?8SHV,[MZ\!^L8@\)\($DN8QL89U`*M M=`](G>FG<;J!;78TV"(M8SUWT[\=7O1%129C3Y=!V?CKI@K8(+D7@.`,8R`# M"IH+Y1;GD\T#7:.IT,]B2T*N.;3`/=PLH")Q=7G4K=@LE($,7 M[N9!VV-;V+%=WNS;TEHAR6-MPI=8&'[A!G4&30P_:4(+GEKA!RLL[ M;A#L^"#Y:[FB/PP"F;NA!&VHZ'N3?G.AZIRCO]L8'>K`UV[ZFZI3@)@<2#B8M0S*4BYK$BBVJCJX@0RKDSK5W2!)N&50XZWJ5N?HH':* MB15X;H?[X*!@7QS41\-V?`E1MP=0:+PRWB8D_JVP=_]XZE M2N\;[)S@Y,[7,I#!!:XU&4_-[C(5%.3M7V`]"IIBE%E%>:B[Y"'K9P4'E6NM M84DXK:_$/F\,LM9_F6-P_EA?M(@A6VE,@_GA6];\HQ'^#K$'6K(P)%(`52\`12P!9#\!8GX#%AH(9%R"V!91ACH%:H4W;C MYP+QIG3SA@<;A`(M$`/GQTC*9U,'$7XN*#D^``+)HTXNB%PQT`7X147UU3GD170,2!XN$&0'UCF:>(QPD!ITI$Y'54!W8>0WROQ3EB5X7V MJ`([*()/TUT;B(,THX&HEHUY"%T;&(,?*'WV9F+X\V0=V'W-*%NT M!5:W90*YZ`.\%8KUP4@-,P5A@"KBZ(2"TU41YX*041!`UXZ0,0<;60;PV#*W M17NQ4T>)5UO$#%7=946)S1O(`9N9??E9=45(P3"#WO&9]P$)>0D6]/9@*_.4]Y8)YQ:6*&, M"8T:!HM($YQ-%V[Y1)#8Z(0VV'3\:'TWJ6E--)E7XY;^1IM;:)LS69.Z.5R\ MN3H1*J(.A86M6+U>9]FI9_\B5'^.7XV%:#R M-:!2I)?VI4[/HRII*I^"Z:#U%*$F,*$;6HT=BJ%(HZ$CBJC(Z)C2Z*,?M!S% M`BJ6ZA-JPB9NXA$@(2=TDBD7<0,Q0!,LP2=^DA*!,@.$0@,W@2B7^JI`X2A& M@122XA1@42E4$1:;4B=Q`JN^^JN@HCFPM3,]@T()=$I+-ENU15)PB%,XI`*\ M53.GY#ER`3I/I5LS5)^YA4NQXTS"RCG8I4K7RJVI0W)$1$N\M*T^U:W'"EL/ ME4SCNJ[EFJZ^A*TYU*ZI2B@V$+6N^K-4NQ"R"BE)L123UYYT`(RX`(Y(#ETP3E!$`0=00,Y0`/&@[>"Y[=Z MR[>)"[B"6P."FRVV-&`9X4!IM%;=S6[>=^[F5 M>[F9F[V<:P=I0#A3T`14``7Y@[JJZP)^^P*Q.[NU"QFWBQ,QL%%W:WJK`[Q[ MZT'#J[S%*[@TD;S+NS",Z[BH$KVJ,KUO.P?WFQ;9*[=U0+=D8+>>2[WG=;T0 M#+<23,%VBP(TX+XO(`=PH`8M@+K@9#RV&P2!@@,XP+OY^[M_V[\@,+SW*[@Q MH`.L:E:%V[P(#+G=^T%MY<`QL,':.\'<"\(B',*@.+\@4+\Q<`,XD`.]J[]] M.\/".R@W/"T%L83IL^W9` M\+9'[,$*T`0DA9)IU0+LQA8\D+ASXK62P=\5[?- MI+5H``2C*[X7Q`)--Q#0`@1ZD!=RX`)A,`>G-P>15[IM<%V-.%0D3,O<@@:K M836O7,$[U!2C2P9T<`9`$,S.0BQP,`;`#!NWW'1TH`9J``1H"Q_%XFFXL@9I MX`(%D41O@#B+S,&?I0!3H!MJT+AT@(C+T183HSY&X2L\:QI3D#A#P1:&>!I) MT!:JB8Z[X<]F`-!OU55E5P95`XE"MDWB$\RA(`1E)*!4)(71-)HJQM`1U>AA5EWP35O<`:F MPW`=)%2?NS--03`MT`+W=P8IJ0"$TU)TQS&(X7-&,7FFF=01QYGRDA=P(1=/ MEH05Y$'8IA9W$,]L0`99ZC'Z:KD'H0"8)X.9,1@E+3(R^$$;`XFGUQ=3L!D+ M/11Y:Q=[G=1M\+E0,`2:!W$7XT&FXP9TC84>8S$]?0:'E=8^9UCN5S$]#9J\ M<1I4@%E7"5@Z4!\!,1"<25!9!Q\M((/E\1:PTUI]028S6RJ/^\M]@03!/#AJ M>%F^0DECA=AOP59U<%Z*8YHT'=H:6!FMTI=9$`1#,`29!0)"D`13\`1.0!E6 MDRKQY%(^QRIK0#OOV5<32)-84-U&@-YXH1?>G=@@P-Y-\08#\=>DTD%:N@8M M97C9-*'UH0+%,K-/8P1N]T*71-3=PEKBH5`\I"^3MU4*58'>7!]'2!0NL#(3 M:`0\-C%^M1DBV5.P,P?R4=!&4=F81=1&K6)!K."41R[+\5A],=K!C;8ISG") MAW>,H3BH4E9"T#:;)'I4[4$RJ&+E<5(4DTVCE0?Q_$%\R[-E=064G;-+KN"^ MDGB")5>=\W:JE;<8IP"5RQ@D558AU09#U3'F"-Q9#@>(LUBD@SAJ[C'=]'YZ M]]!4;GZ#,]$>U#"T0AEI8#6G71]2`%T-0P5S5W1I@-EC!^:#%P=U4.*?5^B3 M.09K,$:^DCDH0'6=VRIDT"J2*SF7+@<40W7NL>FC#NJ2`P);0`.PV#!MDG@1 MQRJ;U9D1)]R6E-294Q]5$.A/TS!54#&%OBJ.R$F0<<%2X.M\Y7&7'NHNHQN9 M#@*;OL`@0'6>3G7*KNRE7NIFD`)0_>FSLP)]L06C6@-=0%4R#@+>GH10_7!I M8(2^,@17P.;3_>XJ5'IY]U=Q1U+B8>"HP@:?>^M]D>LHD.LI4(O1-2JYGCLM M0X3"'L34VMV=F>L>QVZJ]6[IYYK.)P(5SG$?CE*"DSEJ M\`:^LD>8+@::SNGVF3_4'NUR<.W.;NK?KNH*H!3NH?+*'NWNL?(MO\#3;NK> M?NGP$>UL\/,S7_/8KNW?'N[C/N@OY2O91=)K#>(R])%$]-7;!%PHS^8Z7U;^ M#@(G[RLZW_'W/7AEC_#!GK<73#@ZC^QUT//,CNF;[NF2F^E#3S&DCO36+O-- M_^TW,>[U8012(`1-HP#)+O,^C_3FA?>:SOQSP0' M!+R*LX21`=7K\]L/+0:,L0:#HS*/XC&9(_'NQEH5CY(YM_MH?P2/.W@NV'"[ M[W'2'VUSS_AU[S)V`?G.+OF=ZS)D8/DMG_F>O_I&W^VAW^WEE?J@[NQ)S_2H MK_J@C^JT[_JK211H;PH,%M_F,D8>MBIY)D/%\3SP]_/$'[71+Y'/_IV_RM?L M[E[H`CQNC0_HU3RA=P$UX-';@#"P[Y4^IX?JH%[T2TG8(N/%KHT7 M`)&@]/-Z9:"Q=:[/E.4J!DFA`TN07G@:1@Q,$5;\[9L0]? M5M-.`P3)*L.-[MRYP")#\E9O(QS)(X@-"J,@Q\I*N2L(T*SH_+C(PY&`FP)H M0FNHUGD0#@X@+64Y8L#OA8U[8B@)`'8[IWB&W MZZ=W9MVS&`-LI1$9D4DDZS#+*00KEO#$_4*V,M=T!S'D<(3C&`*=Q/.\*DC> MP2R]#G54'&<8!4W-X(`#Y6'=O8946-TB#A.XA:VBV''#LH("LHZO0`(3@RA$ MC",D!PS.G5,<$*D*?@$]5A1V1N3)"RY#QNV,.?`%,HL]HSP#D1[:PR_P!2U+ M4I,"NB$-K`%[&!#^H:M8#E_`!9RZ'BSBLL&TI`+1E>)XB9J&$:ZNL&`'4,>_V@D*QAAB# M;STTP@$#]M?J0!TR8'7,NY:60=X.Y:%K'L[QT)'5X>[\"OV0@O'.+EJXO@#E M5AK)6X3MI"3&!;@SV=0*>V@K;,XQ`1;%PWBDX,:H8)-(9[P!R#`H4$<:A`PS M(*E($J1('DP%)+)I"ZVOL0>F$@9-7.(9:'6@S"5"H9A37DI;&`ATH"D$)V^H MY.P6%D(5+"4/*(`V2!06AT))`B?@MSF+SZ5WWL()JHU8C(D#MLEBYJ6,&VL5I2$1R@`W(A],PXY)%,`2)SY!B;)"6 MN--@(C+L:!2#;_DKG"CB^);I22N%P2=V0[`H%`D'401)5Y$S*D4PR!2=XL59 MA8U+*E+%8N@KL"):Z`M;L55T150&%.5"6/0@8W$EF,7JEA:A26JJ7&WK+>J= MEJ(7_XFK>'>Y$-[51PX`2TP[@O"^-4.HR39/(H1,$:,QLCF'N-4 MR%N74155MR"9&0?'9B1J`S*T*8#0"#%&(TF+^'`^O><],:-*%O]85!<4#@ M1MZS"Q/P\JV3-@$"_A8(R!,@X`;`#3)@_M+?#EPG.*`OY("^11/N%]R(>9P/ MZ2D]]T`2;$+?:A-^:U?6/]5G_VA>(>M;*B$&!,O#E7IPP\JJ6%,F>8"HH"(" MYMZ3*9=LX%SJ!G5)G7"9UA`!DNMO"#)S+3;8OQ<"^O)?O MDMJI2_@P,/UE(!)U*`9?EKY]23`#T28SF-B"U.&51>([&@81&!BP\`^VF]7B M%.U5YAA8J&.A]8"@$C3*8M]:'1VR2-*`U5$#5H<-6!TW8'7@@-61`_:7R;Q? M^ZM#VH3]M3*OV/YZF=AR?\W,OI4#^H"[Q"(:,FF:S*6Y.IBFTFR:JR-I2DV3 M.36C)M6\FE;3:G84E6,Q,>:3]!5Y@AN^2`3HY?J5O>IU(Y/`!(T8@#)71Y$T MF3VS9=Y*F"DS::;-W%]LLV\5R1C0,_U6SOR9^RMF]JVA>;@6R=$D,$XS<4+- MI\DXJV9?P)J/,VM&SLDY-='/`O$=(+-55)RTR4Y*YH9,F:LC;KI,NMFW\N;0 MK)G$\F_J39Y9QO87ZBQD@5-H&L[?X3D9I^)LG+?3<>I.R+D[+2?%/`V9,[Y- M#I*9-.4FZ`0!/?-UDLZA"31'%=Y4G5%L?^U-N0D[!R?K))I&DW8FS;QY._,F M]UR<>7-W1LT.>3(I)]4,G^03!O0!OW`Y@:?9)%?%CG,&C=J9-SNDX"R2V MION,0O[*"`Q/M>D_R^?Q')HF$V@*3KGY.F^F]VR>.K-O4D\"NC<)9]$\G.SD M=LK0Q=E`*2CYA*`4%'U24/5YD3#G^Y170F"#=L[M.3H/2.ADF7=3%=7-&D8Z M<6;?TIDM]'I6S^A)-,O8`46:,Q1WTM`M:CYMZ`/=H5]T55I0^MDVW)1!KHXB6A?P*&44X*"T3]J M0KCL:0[EH%LV= M$32,ZDX=:CX+:?`,HBA%3E9*-%$G-Q6%'PJT#[Z/1UG^`2D4E.0=E%":DT-J;K"(8F4>#)2)6I$0<`C M3:.1E(GV3RD/Q2%!M&H@ MAJ.P3!5%*[V3K]13#0I>!0-V*4S0$Z;*:0D*0O$19(`O;:F,(IAFK?30*(OI MUQ);DA*H*E5+50+V`%4I`KL"&)(!2"0X:)UO)!T>!"*6Q(DH.(9`/\L<#6,( M*(%B=^O0A;5@%L%B6$B+=W%6L44J-1=L=5R(@')Q+I)%6Y47EPBN*H!K)!<\ MRTG](55@=1"!U<$$5H<46!U&8'4(`=]1`C#2J)!DNHS-6;4!8CAPA3"D\S040`GH%I&U"GP!*E`V M2,5LK:U,X+8N`1`@!71KP?"M0L"W,@'L1@5\ZQ0(`E:@"`C7)Q`$B(!OC0)5 M(`D45]JZ!%PK;.48/.!4-*)4E`2@1TJP,1&VZ`LEX/R^HR,*O'>:UY0#S\"O*0BL0F;`M2 M;-"!'(',-([J4:TP,@!RQ:85N+BBV0;;63MDA*)%'+F.90O7E*"`EI/!ENZ[%* MU+&%2,HDU,:`4;MLH^QP+5R^M=IJSY`U?N11F66VR%6YHMC")07H:[PEMMKS M9*DDD15J94"[1;/QC;F>V-K*;_TMBI6W?8H(18R457#/#[T=&O:6SIY9"P-= MI>N_M;8$AANEL%B+WY4KL:@;_>V+QRJLOEK58O@8`L- M0ZQH$].$@B:0A9&'1T@U"@Z@2U142Z,"`;Z#,[$%HBMTM>R$K;`?AXBX7+3% M:!C6*]Y\W)_62:Z2`K@(`D.<1MHUVT#LEC?=FXH*W2[;M\=0+U]>$"W#XE<"FNH#VX-%;A^MU^ M"W@_[KQ]38;7X%:4N\N2\J[&M;/E32XL5;'P4H=63#4)L13TUH`;H*IJJ4XM MO7_"(_S4S6LFA&JM*JI>"U(>TZ3*>FOOFLQUV85;GJ'/3JM]N%9&<@6F`*H#`5R`#IR-+K`"%$!T M]:ZH#@:T@!S`?>W9>76VJ&YZZ($NL`74K_@EORK@Z9Z&7D=08DX/JCH9MFQD M6050<>KO>?)!"W<)[%_>YW^YT;/=O\6N`-_?\--;J>O^U:`*&#W!/MVZ?X-H M!/9!P=4!&]G+T'Y6C0$FKA1X`PM:+;J%0@'C;,PA.\%AD,:$2LV+>$FS%".[O^M.ECX M`!\J1L(%1,`6\`)M>/NJ@#9,8!"0,;$IP(D)7Z,5`(H.53X14ER8NL"N\2&+ M:)$?7B=<.+5Z86?!?YS%(?X^+;CA-EX-;(:K\!ZHOD"X3P&?,]!2WLJ>J[/T MH:P(%/LK@<\"&=X",*#*H!_76F'A;0QF)"/X!OL@$QR"5[$*)L$M^`4WUUJ< MB4\#H[/!?8H;Y6!>S(-]<"9F)XDX^=HJV_L4.N^;Z%2@=Z:"JCFQ4TVOH$2] M-R%YK%YF[!5<[S#]"KCJ47J%2'E,N;$Y#A6C`NN:H1I"=2I=K3"H<6C\!)7A MU(KNA''J"YZU1=$KE5&//!`(LJ;T`0V?WTY+B?L2&W;#<%@$R&$ZS$[L\%$Y M&7F8#/-A"B50`+$0%L0R@!#/HEI4B9]&(B;")Z,1[QP!!XDEL"0.O"BX(S.2 M2SP%CC&!V<2=V!U#V76B`$0Q+B[%>O@#H6)5S$@HK#W3P2(8"?%I MN,5#.?SHX@"\@^D##0;&2%,81U>@+(.=<@_.L\=X"PMA.W".N[)7_LI@.2R+ MY;%,ELNR63[+:#DMJ^6US);;LEM^RW`Y+LOEN4R7Z[)=OLMX.2_KY;W,E_NR M7_[+@#DP"^;!3)@+LV$^S(@Y,2OFQ