{
 "cells": [
  {
   "cell_type": "code",
   "execution_count": null,
   "id": "3d240dcf-107a-42c0-ae84-3f560c2e37c0",
   "metadata": {},
   "outputs": [],
   "source": [
    "# In 3D and 4D, we have not only checked the descendants of one particular pair (the Sunflower pair), but also of the\n",
    "# other 27 pairs that solve the equation in 2D. The code that should be ran is exactly as in the 3D and 4D cases of the\n",
    "# Sunflower pair that has been completely worked out. The only thing that changed is the input (in terms of the \n",
    "# encodings/graphs we feed the code to compute with. Below, you can find the (code generating the) encodings for the ALL 28 \n",
    "# pairs in 3D (the Sunflower is pair G11 and G12) and 5 pairs in 4D. From these 28 pairs, we  find a solution over 5 of these \n",
    "# pairs (G11 and G12,  G2 and G8, G2 and G12, G7 and G11, and G8 and G11). It is impossible for there to be a solution in 4D, \n",
    "# but NOT in 3D over the descendants of the same graphs, so in 4D we only checked the 5 remaining pairs. From these, we find a \n",
    "# solution over only 2 pairs (G11 and G12,  and G2 and G12). \n",
    "\n",
    "\n",
    "#The 3D encodings of pairs\n",
    "g1_and_g_2_to_3d_graphs=\"(0,1,4;2,3,5;1,3,6)+(0,1,4;2,3,5;3,4,6)+(0,1,4;2,5,6;1,3,6)+(0,1,4;2,5,6;3,4,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g1_and_g_4_to_3d_graphs=\"(0,1,4;2,3,5;1,3,6)+(0,1,4;2,3,5;3,4,6)+(0,1,4;2,5,6;1,3,6)+(0,1,4;2,5,6;3,4,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g1_and_g_9_to_3d_graphs=\"(0,1,4;2,3,5;1,3,6)+(0,1,4;2,3,5;3,4,6)+(0,1,4;2,5,6;1,3,6)+(0,1,4;2,5,6;3,4,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g1_and_g_11_to_3d_graphs=\"(0,1,4;2,3,5;1,3,6)+(0,1,4;2,3,5;3,4,6)+(0,1,4;2,5,6;1,3,6)+(0,1,4;2,5,6;3,4,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g5_and_g_2_to_3d_graphs=\"(0,2,4;2,3,5;1,3,6)+(0,2,4;2,3,5;3,4,6)+(0,2,4;2,5,6;1,3,6)+(0,2,4;2,5,6;3,4,6)+(0,4,5;2,3,5;1,3,6)+(0,4,5;2,3,5;3,4,6)+(0,4,5;2,5,6;1,3,6)+(0,4,5;2,5,6;3,4,\n",
    "\n",
    "g5_and_g_4_to_3d_graphs=\"(0,2,4;2,3,5;1,3,6)+(0,2,4;2,3,5;3,4,6)+(0,2,4;2,5,6;1,3,6)+(0,2,4;2,5,6;3,4,6)+(0,4,5;2,3,5;1,3,6)+(0,4,5;2,3,5;3,4,6)+(0,4,5;2,5,6;1,3,6)+(0,4,5;2,5,6;3,4,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g5_and_g_9_to_3d_graphs=\"(0,2,4;2,3,5;1,3,6)+(0,2,4;2,3,5;3,4,6)+(0,2,4;2,5,6;1,3,6)+(0,2,4;2,5,6;3,4,6)+(0,4,5;2,3,5;1,3,6)+(0,4,5;2,3,5;3,4,6)+(0,4,5;2,5,6;1,3,6)+(0,4,5;2,5,6;3,4,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g5_and_g11_to_3d_graphs=\"(0,2,4;2,3,5;1,3,6)+(0,2,4;2,3,5;3,4,6)+(0,2,4;2,5,6;1,3,6)+(0,2,4;2,5,6;3,4,6)+(0,4,5;2,3,5;1,3,6)+(0,4,5;2,3,5;3,4,6)+(0,4,5;2,5,6;1,3,6)+(0,4,5;2,5,6;3,4,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g6_and_g_2_to_3d_graphs=\"(0,3,4;1,2,5; 1,3,6)+(0,3,4;1,2,5;3,4,6)+(0,3,4;2,4,5;1,3,6)+(0,3,4;2,4,5;3,4,6)+(0,4,6;1,2,5; 1,3,6)+(0,4,6;1,2,5;3,4,6)+(0,4,6;2,4,5;1,3,6)+(0,4,6;2,4,5;3,4,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g6_and_g_4_to_3d_graphs=\"(0,3,4;1,2,5; 1,3,6)+(0,3,4;1,2,5;3,4,6)+(0,3,4;2,4,5;1,3,6)+(0,3,4;2,4,5;3,4,6)+(0,4,6;1,2,5; 1,3,6)+(0,4,6;1,2,5;3,4,6)+(0,4,6;2,4,5;1,3,6)+(0,4,6;2,4,5;3,4,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g6_and_g_9_to_3d_graphs=\"(0,3,4;1,2,5; 1,3,6)+(0,3,4;1,2,5;3,4,6)+(0,3,4;2,4,5;1,3,6)+(0,3,4;2,4,5;3,4,6)+(0,4,6;1,2,5; 1,3,6)+(0,4,6;1,2,5;3,4,6)+(0,4,6;2,4,5;1,3,6)+(0,4,6;2,4,5;3,4,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g6_and_g_11_to_3d_graphs=\"(0,3,4;1,2,5; 1,3,6)+(0,3,4;1,2,5;3,4,6)+(0,3,4;2,4,5;1,3,6)+(0,3,4;2,4,5;3,4,6)+(0,4,6;1,2,5; 1,3,6)+(0,4,6;1,2,5;3,4,6)+(0,4,6;2,4,5;1,3,6)+(0,4,6;2,4,5;3,4,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g7_and_g_2_to_3d_graphs=\"(0,3,4;2,3,5;1,2,6)+(0,3,4;2,3,5;2,4,6)+(0,3,4;2,3,5;1,5,6)+(0,3,4;2,3,5;4,5,6)+(0,3,4;2,5,6;1,2,6)+(0,3,4;2,5,6;2,4,6)+(0,3,4;2,5,6;1,5,6)+(0,3,4;2,5,6;4,5,6)+(0,4,6;2,3,5;1,2,6)+(0,4,6;2,3,5;2,4,6)+(0,4,6;2,3,5;1,5,6)+(0,4,6;2,3,5;4,5,6)+(0,4,6;2,5,6;1,2,6)+(0,4,6;2,5,6;2,4,6)+(0,4,6;2,5,6;1,5,6)+(0,4,6;2,5,6;4,5,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g7_and_g_4_to_3d_graphs=\"(0,3,4;2,3,5;1,2,6)+(0,3,4;2,3,5;2,4,6)+(0,3,4;2,3,5;1,5,6)+(0,3,4;2,3,5;4,5,6)+(0,3,4;2,5,6;1,2,6)+(0,3,4;2,5,6;2,4,6)+(0,3,4;2,5,6;1,5,6)+(0,3,4;2,5,6;4,5,6)+(0,4,6;2,3,5;1,2,6)+(0,4,6;2,3,5;2,4,6)+(0,4,6;2,3,5;1,5,6)+(0,4,6;2,3,5;4,5,6)+(0,4,6;2,5,6;1,2,6)+(0,4,6;2,5,6;2,4,6)+(0,4,6;2,5,6;1,5,6)+(0,4,6;2,5,6;4,5,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g7_and_g_9_to_3d_graphs=\"(0,3,4;2,3,5;1,2,6)+(0,3,4;2,3,5;2,4,6)+(0,3,4;2,3,5;1,5,6)+(0,3,4;2,3,5;4,5,6)+(0,3,4;2,5,6;1,2,6)+(0,3,4;2,5,6;2,4,6)+(0,3,4;2,5,6;1,5,6)+(0,3,4;2,5,6;4,5,6)+(0,4,6;2,3,5;1,2,6)+(0,4,6;2,3,5;2,4,6)+(0,4,6;2,3,5;1,5,6)+(0,4,6;2,3,5;4,5,6)+(0,4,6;2,5,6;1,2,6)+(0,4,6;2,5,6;2,4,6)+(0,4,6;2,5,6;1,5,6)+(0,4,6;2,5,6;4,5,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g7_and_g_11_to_3d_graphs=\"(0,3,4;2,3,5;1,2,6)+(0,3,4;2,3,5;2,4,6)+(0,3,4;2,3,5;1,5,6)+(0,3,4;2,3,5;4,5,6)+(0,3,4;2,5,6;1,2,6)+(0,3,4;2,5,6;2,4,6)+(0,3,4;2,5,6;1,5,6)+(0,3,4;2,5,6;4,5,6)+(0,4,6;2,3,5;1,2,6)+(0,4,6;2,3,5;2,4,6)+(0,4,6;2,3,5;1,5,6)+(0,4,6;2,3,5;4,5,6)+(0,4,6;2,5,6;1,2,6)+(0,4,6;2,5,6;2,4,6)+(0,4,6;2,5,6;1,5,6)+(0,4,6;2,5,6;4,5,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g8_and_g_2_to_3d_graphs=\"(0,3,4;1,2,5;1,2,6)+(0,3,4;1,2,5;1,5,6)+(0,3,4;1,2,5;2,4,6)+(0,3,4;1,2,5;4,5,6)+(0,3,4;2,4,5;1,2,6)+(0,3,4;2,4,5;1,5,6)+(0,3,4;2,4,5;2,4,6)+(0,3,4;2,4,5;4,5,6)+(0,4,6;1,2,5;1,2,6)+(0,4,6;1,2,5;1,5,6)+(0,4,6;1,2,5;2,4,6)+(0,4,6;1,2,5;4,5,6)+(0,4,6;2,4,5;1,2,6)+(0,4,6;2,4,5;1,5,6)+(0,4,6;2,4,5;2,4,6)+(0,4,6;2,4,5;4,5,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g8_and_g_4_to_3d_graphs=\"(0,3,4;1,2,5;1,2,6)+(0,3,4;1,2,5;1,5,6)+(0,3,4;1,2,5;2,4,6)+(0,3,4;1,2,5;4,5,6)+(0,3,4;2,4,5;1,2,6)+(0,3,4;2,4,5;1,5,6)+(0,3,4;2,4,5;2,4,6)+(0,3,4;2,4,5;4,5,6)+(0,4,6;1,2,5;1,2,6)+(0,4,6;1,2,5;1,5,6)+(0,4,6;1,2,5;2,4,6)+(0,4,6;1,2,5;4,5,6)+(0,4,6;2,4,5;1,2,6)+(0,4,6;2,4,5;1,5,6)+(0,4,6;2,4,5;2,4,6)+(0,4,6;2,4,5;4,5,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g8_and_g_9_to_3d_graphs=\"(0,3,4;1,2,5;1,2,6)+(0,3,4;1,2,5;1,5,6)+(0,3,4;1,2,5;2,4,6)+(0,3,4;1,2,5;4,5,6)+(0,3,4;2,4,5;1,2,6)+(0,3,4;2,4,5;1,5,6)+(0,3,4;2,4,5;2,4,6)+(0,3,4;2,4,5;4,5,6)+(0,4,6;1,2,5;1,2,6)+(0,4,6;1,2,5;1,5,6)+(0,4,6;1,2,5;2,4,6)+(0,4,6;1,2,5;4,5,6)+(0,4,6;2,4,5;1,2,6)+(0,4,6;2,4,5;1,5,6)+(0,4,6;2,4,5;2,4,6)+(0,4,6;2,4,5;4,5,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g8_and_g_11_to_3d_graphs=\"(0,3,4;1,2,5;1,2,6)+(0,3,4;1,2,5;1,5,6)+(0,3,4;1,2,5;2,4,6)+(0,3,4;1,2,5;4,5,6)+(0,3,4;2,4,5;1,2,6)+(0,3,4;2,4,5;1,5,6)+(0,3,4;2,4,5;2,4,6)+(0,3,4;2,4,5;4,5,6)+(0,4,6;1,2,5;1,2,6)+(0,4,6;1,2,5;1,5,6)+(0,4,6;1,2,5;2,4,6)+(0,4,6;1,2,5;4,5,6)+(0,4,6;2,4,5;1,2,6)+(0,4,6;2,4,5;1,5,6)+(0,4,6;2,4,5;2,4,6)+(0,4,6;2,4,5;4,5,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g12_and_g_2_to_3d_graphs=\"(0,3,4;1,3,5;1,2,6)+(0,3,4;1,3,5;1,5,6)+(0,3,4;1,3,5;2,4,6)+(0,3,4;1,3,5;4,5,6)+(0,3,4;1,5,6;1,2,6)+(0,3,4;1,5,6;1,5,6)+(0,3,4;1,5,6;2,4,6)+(0,3,4;1,5,6;4,5,6)+(0,3,4;3,4,5;1,2,6)+(0,3,4;3,4,5;1,5,6)+(0,3,4;3,4,5;2,4,6)+(0,3,4;3,4,5;4,5,6)+(0,3,4;4,5,6;1,2,6)+(0,3,4;4,5,6;1,5,6)+(0,3,4;4,5,6;2,4,6)+(0,3,4;4,5,6;4,5,6)+(0,4,6;1,3,5;1,2,6)+(0,4,6;1,3,5;1,5,6)+(0,4,6;1,3,5;2,4,6)+(0,4,6;1,3,5;4,5,6)+(0,4,6;1,5,6;1,2,6)+(0,4,6;1,5,6;1,5,6)+(0,4,6;1,5,6;2,4,6)+(0,4,6;1,5,6;4,5,6)+(0,4,6;3,4,5;1,2,6)+(0,4,6;3,4,5;1,5,6)+(0,4,6;3,4,5;2,4,6)+(0,4,6;3,4,5;4,5,6)+(0,4,6;4,5,6;1,2,6)+(0,4,6;4,5,6;1,5,6)+(0,4,6;4,5,6;2,4,6)+(0,4,6;4,5,6;4,5,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g12_and_g_4_to_3d_graphs=\"(0,3,4;1,3,5;1,2,6)+(0,3,4;1,3,5;1,5,6)+(0,3,4;1,3,5;2,4,6)+(0,3,4;1,3,5;4,5,6)+(0,3,4;1,5,6;1,2,6)+(0,3,4;1,5,6;1,5,6)+(0,3,4;1,5,6;2,4,6)+(0,3,4;1,5,6;4,5,6)+(0,3,4;3,4,5;1,2,6)+(0,3,4;3,4,5;1,5,6)+(0,3,4;3,4,5;2,4,6)+(0,3,4;3,4,5;4,5,6)+(0,3,4;4,5,6;1,2,6)+(0,3,4;4,5,6;1,5,6)+(0,3,4;4,5,6;2,4,6)+(0,3,4;4,5,6;4,5,6)+(0,4,6;1,3,5;1,2,6)+(0,4,6;1,3,5;1,5,6)+(0,4,6;1,3,5;2,4,6)+(0,4,6;1,3,5;4,5,6)+(0,4,6;1,5,6;1,2,6)+(0,4,6;1,5,6;1,5,6)+(0,4,6;1,5,6;2,4,6)+(0,4,6;1,5,6;4,5,6)+(0,4,6;3,4,5;1,2,6)+(0,4,6;3,4,5;1,5,6)+(0,4,6;3,4,5;2,4,6)+(0,4,6;3,4,5;4,5,6)+(0,4,6;4,5,6;1,2,6)+(0,4,6;4,5,6;1,5,6)+(0,4,6;4,5,6;2,4,6)+(0,4,6;4,5,6;4,5,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g12_and_g_9_to_3d_graphs=\"(0,3,4;1,3,5;1,2,6)+(0,3,4;1,3,5;1,5,6)+(0,3,4;1,3,5;2,4,6)+(0,3,4;1,3,5;4,5,6)+(0,3,4;1,5,6;1,2,6)+(0,3,4;1,5,6;1,5,6)+(0,3,4;1,5,6;2,4,6)+(0,3,4;1,5,6;4,5,6)+(0,3,4;3,4,5;1,2,6)+(0,3,4;3,4,5;1,5,6)+(0,3,4;3,4,5;2,4,6)+(0,3,4;3,4,5;4,5,6)+(0,3,4;4,5,6;1,2,6)+(0,3,4;4,5,6;1,5,6)+(0,3,4;4,5,6;2,4,6)+(0,3,4;4,5,6;4,5,6)+(0,4,6;1,3,5;1,2,6)+(0,4,6;1,3,5;1,5,6)+(0,4,6;1,3,5;2,4,6)+(0,4,6;1,3,5;4,5,6)+(0,4,6;1,5,6;1,2,6)+(0,4,6;1,5,6;1,5,6)+(0,4,6;1,5,6;2,4,6)+(0,4,6;1,5,6;4,5,6)+(0,4,6;3,4,5;1,2,6)+(0,4,6;3,4,5;1,5,6)+(0,4,6;3,4,5;2,4,6)+(0,4,6;3,4,5;4,5,6)+(0,4,6;4,5,6;1,2,6)+(0,4,6;4,5,6;1,5,6)+(0,4,6;4,5,6;2,4,6)+(0,4,6;4,5,6;4,5,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g12_and_g_11_to_3d_graphs=\"(0,3,4;1,3,5;1,2,6)+(0,3,4;1,3,5;1,5,6)+(0,3,4;1,3,5;2,4,6)+(0,3,4;1,3,5;4,5,6)+(0,3,4;1,5,6;1,2,6)+(0,3,4;1,5,6;1,5,6)+(0,3,4;1,5,6;2,4,6)+(0,3,4;1,5,6;4,5,6)+(0,3,4;3,4,5;1,2,6)+(0,3,4;3,4,5;1,5,6)+(0,3,4;3,4,5;2,4,6)+(0,3,4;3,4,5;4,5,6)+(0,3,4;4,5,6;1,2,6)+(0,3,4;4,5,6;1,5,6)+(0,3,4;4,5,6;2,4,6)+(0,3,4;4,5,6;4,5,6)+(0,4,6;1,3,5;1,2,6)+(0,4,6;1,3,5;1,5,6)+(0,4,6;1,3,5;2,4,6)+(0,4,6;1,3,5;4,5,6)+(0,4,6;1,5,6;1,2,6)+(0,4,6;1,5,6;1,5,6)+(0,4,6;1,5,6;2,4,6)+(0,4,6;1,5,6;4,5,6)+(0,4,6;3,4,5;1,2,6)+(0,4,6;3,4,5;1,5,6)+(0,4,6;3,4,5;2,4,6)+(0,4,6;3,4,5;4,5,6)+(0,4,6;4,5,6;1,2,6)+(0,4,6;4,5,6;1,5,6)+(0,4,6;4,5,6;2,4,6)+(0,4,6;4,5,6;4,5,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "g13_and_g_2_to_3d_graphs=\"(0,1,4;1,3,5;2,3,6)+(0,1,4;1,3,5;3,5,6)+(0,1,4;1,5,6;2,3,6)+(0,1,4;1,5,6;3,5,6)+(0,1,4;3,4,5;2,3,6)+(0,1,4;3,4,5;3,5,6)+(0,1,4;4,5,6;2,3,6)+(0,1,4;4,5,6;3,5,6)+(0,1,4;1,2,5;1,3,6)+(0,1,4;1,2,5;3,4,6)+(0,1,4;2,4,5;1,3,6)+(0,1,4;2,4,5;3,4,6)\"\n",
    "\n",
    "g13_and_g_4_to_3d_graphs=\"(0,1,4;1,3,5;2,3,6)+(0,1,4;1,3,5;3,5,6)+(0,1,4;1,5,6;2,3,6)+(0,1,4;1,5,6;3,5,6)+(0,1,4;3,4,5;2,3,6)+(0,1,4;3,4,5;3,5,6)+(0,1,4;4,5,6;2,3,6)+(0,1,4;4,5,6;3,5,6)+(0,3,4;2,3,5;1,3,6)+(0,3,4;2,3,5;3,4,6)+(0,3,4;2,5,6;1,3,6)+(0,3,4;2,5,6;3,4,6)+(0,4,6;2,3,5;1,3,6)+(0,4,6;2,3,5;3,4,6)+(0,4,6;2,5,6;1,3,6)+(0,4,6;2,5,6;3,4,6)\"\n",
    "\n",
    "g13_and_g_9_to_3d_graphs=\"(0,1,4;1,3,5;2,3,6)+(0,1,4;1,3,5;3,5,6)+(0,1,4;1,5,6;2,3,6)+(0,1,4;1,5,6;3,5,6)+(0,1,4;3,4,5;2,3,6)+(0,1,4;3,4,5;3,5,6)+(0,1,4;4,5,6;2,3,6)+(0,1,4;4,5,6;3,5,6)+(0,2,4;2,3,5;1,2,6)+(0,2,4;2,3,5;1,5,6)+(0,2,4;2,3,5;2,4,6)+(0,2,4;2,3,5;4,5,6)+(0,2,4;2,5,6;1,2,6)+(0,2,4;2,5,6;1,5,6)+(0,2,4;2,5,6;2,4,6)+(0,2,4;2,5,6;4,5,6)+(0,4,5;2,3,5;1,2,6)+(0,4,5;2,3,5;1,5,6)+(0,4,5;2,3,5;2,4,6)+(0,4,5;2,3,5;4,5,6)+(0,4,5;2,5,6;1,2,6)+(0,4,5;2,5,6;1,5,6)+(0,4,5;2,5,6;2,4,6)+(0,4,5;2,5,6;4,5,6)\"\n",
    "\n",
    "g13_and_g_11_to_3d_graphs=\"(0,1,4;1,3,5;2,3,6)+(0,1,4;1,3,5;3,5,6)+(0,1,4;1,5,6;2,3,6)+(0,1,4;1,5,6;3,5,6)+(0,1,4;3,4,5;2,3,6)+(0,1,4;3,4,5;3,5,6)+(0,1,4;4,5,6;2,3,6)+(0,1,4;4,5,6;3,5,6)+(0,1,4;1,3,5;1,2,6)+(0,1,4;1,3,5;2,4,6)+(0,1,4;1,3,5;1,5,6)+(0,1,4;1,3,5;4,5,6)+(0,1,4;3,4,5;1,2,6)+(0,1,4;3,4,5;2,4,6)+(0,1,4;3,4,5;1,5,6)+(0,1,4;3,4,5;4,5,6)+(0,1,4;1,5,6;1,2,6)+(0,1,4;1,5,6;2,4,6)+(0,1,4;1,5,6;1,5,6)+(0,1,4;1,5,6;4,5,6)+(0,1,4;4,5,6;1,2,6)+(0,1,4;4,5,6;2,4,6)+(0,1,4;4,5,6;1,5,6)+(0,1,4;4,5,6;4,5,6)\"\n",
    "\n",
    "\n",
    "# Generating 4D encodings of the 5 remaining pairs:\n",
    "import itertools\n",
    "# Descendants graph 2.\n",
    "for (i,j) in itertools.product([1,4,7],[1,4,7]):\n",
    "    X_graph_encodings.append((0,1,4,7,i,2,5,8,j,3,6,9))\n",
    "\n",
    "# Descendants graph 7\n",
    "for (i,j,k,l) in itertools.product([3,6,9],[3,6,9],[1,4,7],[2,5,8]):\n",
    "    X_graph_encodings.append((0,i,4,7,2,j,5,8,k,l,6,9))\n",
    "\n",
    "# Descendants of graph 8.\n",
    "for (i,j,k,l) in itertools.product([3,6,9],[1,4,7],[1,4,7],[2,5,8]):\n",
    "    X_graph_encodings.append((0,i,4,7,j,2,5,8,k,l,6,9))\n",
    "\n",
    "# Descendants graph 11.\n",
    "for (i,j,k,l) in itertools.product([1,4,7],[3,6,9],[1,4,7],[2,5,8]):\n",
    "    X_graph_encodings.append((0,1,4,7,i,j,5,8,k,l,6,9))\n",
    "\n",
    "# descendants graph 12.\n",
    "for (i,j,k,l,m) in itertools.product ([3,6,9],[1,4,7],[3,6,9],[1,4,7],[2,5,8]):\n",
    "    X_graph_encodings.append((0,i,4,7,j,k,5,8,l,m,6,9))\n",
    "\n"
   ]
  }
 ],
 "metadata": {
  "kernelspec": {
   "display_name": "SageMath 10.1",
   "language": "sage",
   "name": "sagemath"
  },
  "language_info": {
   "codemirror_mode": {
    "name": "ipython",
    "version": 3
   },
   "file_extension": ".py",
   "mimetype": "text/x-python",
   "name": "python",
   "nbconvert_exporter": "python",
   "pygments_lexer": "ipython3",
   "version": "3.8.18"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 5
}