load crack$
lisp(nfct_:=175)$

off batch_mode$
list_of_variables:=
{}$
list_of_functions:=
{b59,
b53,
b75,
b50,
b52,
b56,
b54,
b66,
b60,
b152,
b132,
b42,
b73,
b69,
b164,
b77,
b62,
b44,
b34,
b28,
b26,
b29,
b121,
b63,
b49,
b51,
b40,
b146,
b58,
b72,
b130,
b81,
b157,
b160,
b64,
b118,
b41,
b30,
b19,
b122,
b17,
b67,
b46,
b120,
b125,
b131,
b83,
b79,
b155,
b74,
b70,
b166,
b61,
b137,
b47,
b149,
b43,
b147,
b143,
b145,
b18,
b21,
b22,
b127,
b158,
b151,
b154,
b144,
b27,
b33,
b32,
b135,
b57,
b71,
b163,
b117,
b35,
b37,
b126,
b119,
b156,
b165,
b48,
b148,
a15,
b25,
b20,
b24,
b136,
b134,
b111,
a10,
b109,
b97,
b101,
b95,
b76,
b82,
b85,
b169,
b172,
b159,
b80,
b167,
b78,
b161,
b55,
b129,
a19,
a18,
a9,
b16,
a8,
b15,
b139,
b36,
a33,
b113,
b114,
b96,
b128,
a37,
b124,
a12,
b38,
b102,
b98,
b84,
b170,
b68,
b150,
a21,
b65,
a17,
a40,
b142,
b140,
b31,
b100,
b138,
b91,
b112,
a13,
b110,
b104,
a6,
b12,
b13,
b133,
b7,
b6,
b86,
b168,
b171,
b153,
b162,
a16,
a35,
b45,
b116,
b39,
a11,
a28,
b23,
b94,
a34,
b90,
b115,
a32,
b108,
a36,
b9,
b4,
a3,
b3,
a26,
b92,
b87,
b173,
b174,
a39,
b123,
b141,
a23,
a42,
a22,
a41,
a20,
a38,
a7,
a25,
b14,
b89,
a14,
a31,
b107,
a30,
b106,
a4,
b10,
b8,
a1,
a2,
b1,
a29,
b105,
b103,
a24,
a27,
b88,
b11,
b5,
b2,
b99,
a5,
b93}$
list_of_equations:=
Please give the name of the file in double quotes
(no ;) from which the session is to be restored: