I need this for an algorithm, so even pointers to papers
will be appreciated.
The smallest bug I have is of order 36.
The attached file has two multi digraphs which are isomorphic,
but have distinct number of spanning trees.
print("isomorphic? ",G1.is_isomorphic(G2)) #True
print("equal trees?",G1.spanning_trees_count()==G2.spanning_trees_count())
#False
iso,map=G1.is_isomorphic(G2,certificate=True)
G3=G1.copy()
G3.relabel(lambda x: map[x])
print("verify iso",G3==G2) #True
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/CAGUWgD8LfAhfpRvgafWiL8cSX8-MrEhNbcOu0nKUt%2BGHnKLp3g%40mail.gmail.com.
G1=loads(b'x\x9cU\x98uXV\xf7\x1f\x86_\x11\x03PJ\x10AD\x01\x03\x8b\xcd\xd9\xb5\xd9u&\xb6\xb2p\x0e\xe5\x1d2Q\xe0\x80\xd3\x85\x9b\xae\xd4uwwwwwwwww\xfc\x9e\xfb<\xe7wy\xed\x1f\xef\x1b./\xbf\xcfy>\x9f\xefy\xdf\xcb\x8d)+Zj\xea\x92\x95uaM\xd3\xca\x96\xca\xda\xfaH\xd2\xa7\xd4O\x8f\xd8\x9c\xe8\xbf\xa9\xb9\xcd\x86\xe6\x94\x8a\xea\x8cD"\xb1\xac\xa1\xa65\xb9~YcSkKs\xdb\xaa\xea\x8e\xfcjy\xcd\x8aU\xc95\xb5\xcd\xa9\xff\xf9\x87\x96\xd7\xb4\xc4\xfe\xff\xbf\xd0\x92\xbevMS\xfd\x8aU\r\xc9e\xff\xf9}zs\xbb\x8a-K\x9b\xdbW\x04\x89\xa0M\x90\x12\xb4\rR\x83vA\xfb\xa0C\xd01H\x0b\xd2\x83\x8c\xa0S\xd09\xc8\x0c\xb2\x82\xec \'\xc8\r\xba\x04yA~\xd05(\x08\xba\x05\x85AQ\xd0=(\x0ez\x04%A\xcf\xa0WP\x1a\x94\x05\xe5\xc9\xa5\xcd\x1d\xa2\x7f\xacjss\xc7\x98ib\x8a\x98\x1e3Cl+v\x8a\xd9YL\x153cf\x89\xed\xc4\xec\x989b{17f\x17\xb1\x83\x98\x173_\xec(v\x8dY \xa6\x89\xddb\x16\x8a\xe9bQ\xcc\xeeb\x86X\x1c\xb3\x87\xd8I,\x89\xd9S\xec,\xf6\x8aY*f\x8ae1\xcb\xc5,\xb1w\xcc>\xaa.!\xf6\x8d\xd9/f\x85\x98-\xf6\x17s\xc4\x01T,\x0e\x14s\xc5A"\xcf?X\xec"V\x8a<\xffvb\x9e\xb8\xbd\xc8\xf3\x0f\x11\xf3\xc5\x1dD\x9e\x7f\xa8\xd8U\x1c&\xf2\xfc\xc3\xc5\x02q\x84\x06\xc8\xb9#c\x8e\x8a9Z$\xc7\x18\x91y\x8c\x15\xc93N$\xc7x\x06/\xee(r\xfeN"=N\x10\xbb\x89\x13Ez\x9c$\x16\x8a\x93Ez\x9c"\x16\x89S\xc5\xee\xe24\xb1X\x9c\xae5\xe2\xdc\x191g\xc6\x9c%\x92#\x10\xc9\xb1\xb3H\x1f\xb3E\x9e\xbfJ\xe4\xb9\xe7\x88<\xf7\\\x91\x1c\xf3Dr\xcc\x179\x7f\x81\xc8\xdc\x16\x8a\xcck\x91\xd8C\\,\x96\x88K\xc4\x9eb\xb5\x96\x99sw\x89\xb9k\xcc\xdd\xc4^\xe2\xee"9\x96\x8a\xa5\xe2\x1e"\xbd,\x13\xc9\xb5\xa7X&\xd6p)\xc4\xe5"sX!\xd2\x7f\xadH\xbe\xa4H\x0f{\x89\xe4\xaa\x13\xe9c\xa5\xc8\xfe\xd4\xebJq\xee\xde1W\xc5l\x10\xc9\xb1Z$\xc7\x1a\x91\x1c\x8d"\xf3h\x12\xcb\xc5f\x91~B\x91\xf9\xb4\x88\xe4h\x15\x99\xfbZ\x91\x1c\xfb\x88\xcci\x9dH\x1f\xebE\xfa\xd8Wdo\xf7\xd3\xc5\xe6\xdc\xfdc\x1e\x10s\x83\xc8\xf9\x07\x8a<\xefA"{\xb1Q\xe4\xfcM"s9X\xe4\xb9\x0f\xe1\x05!\x1e*r\xfea"\xe7\x1f.r\xfef\x91\x1e\xb6\x88\xec\xc3V\x91y\x1c!r_\x8e\xd4\xeb\x85s\x8f\x8ayt\xcccD\xf6\xe3X\x91<\xc7\x89\xcc\xe3x\x91\\\'\x88\xe49Q\xa4\x8f\x93Dz8Y\xe4^\x9c"\xb2\x97\xa7\x8a\xec\xc5i"\xe7\x9f.2\x873Dz8S$\xcfYz\xc9q\xee\xd91\xcf\x89y\xae\xc8\\\xce\x13\xd9\x83\xf3E\xce\xbf@d.\x17\x8a\xe4\xb8Hd\x1e\x17\x8b\xec\xc7%"9.\x15\xd9\xd7\xcbD\xf6\xe2r\x91\x1cW\x88\xcc\xe5J\x91\xf3\xaf\x12\xe9\xe3j\xbdj9\xf7\x9a\x98\xd7\xc6\xbcNd\x1f\xae\x17\xc9q\x83\xc8\\n\x149\xff&\x91so\x169\xf7\x16\x91y\xdc*rOn\xe3\x15.\xde.2\x8f;D\xf6\xf2N\x91<w\x89\xec\xc7\xdd"\xbd\xdc\xa3\x17>\xe7\xde\x1b\xf3\xbe\x98\xf7\x8b\xcc\xe5\x01\x91<\x0f\x8a\xcc\xe5!\x91\\\x0f\x8b\xe4yDd/\x1e\x15\xc9\xf1\x98H\x0f\x8f\x8b\xec\xc5\x13"}<)2\x9f\xa7D\xe6\xf2\xb4H\x8egD\xfaxV\x1f;\x9c\xfb\\\xcc\xe7c\xbe r\xfe\x8b"\xf3xId\x1e/\x8b\xcc\xe1\x15\x91=}U\xa4\x8f\xd7D\xf6\xf5u\x91\xf3\xdf\x10\xe9\xe5M\x91\x1e\xde\xe2\xe3M|[$\xc7;"9\xde\x15\x99\xcf{\xfa\xf0\xe3\xdc\xf7c~\x10\xf3C\x91>>\x12\xc9\xf3\xb1H\x9eOD\xf2|*\xb2\x9f\x9f\x89\x9c\xff\xb9H/_\x88\xf4\xf1\xa5\xc8\\\xbe\x12\x99\xcb\xd7"y\xbe\x11\xd9\x8foE\xe6\xf1\x9dH\x1f\xdf\xeb#\x98s\x7f\x88\xf9c\xcc\x9fD\xf6\xf4g\x91y\xfc"\xd2\xc3\xaf"=\xfc&r?~\x179\xff\x0f\x91\xe7\xffS\xe4\xfc\xbfD\xe6\xf1\xb7H\x8e\x7fD\x9e\xff_>\xf2\xab6\x87\x896\t}\x00RE\xd8\xc6\xaa4a\n\x9aI\x80\xb0\xed6M\xdd\xa6\xed\xacJ\x16\xb6\xb7ji\xc3\x0eV\xf5\x12v\xb4ju\xc34\xabR\x86\xe9V\x05\r3\xac\x9aY\xd8\xc9\xaa\xd8ag\xab\x9a\n3\xad\x1a^\x98e\xd5>\x87\xd9V\x8d2\xcc\xb1\xaa\xcd0\xd7J\xf4.hV\x142o\x9b\xe6o\xd3\xaeV\xa2\x17X\x89\xde\xcd\xaaJ\xc3B\xab\xb6+,\xb2j\xc0aw\xabv>,\xb6\xeau\x18\xf6\xb0j\xe2a\x89U\xa5\x87=\xad\xea=\xece\xe5)J\xadD/\xb3\x12\xbd\xdc\xca,z\xa3\xd9\xbc\x16\xc3>Vm^\xd8\xd7\xaaK\x18\xf6\xb3j\x0f\xc3\n+\xd1\xfb[\xb5\x95\xe1\x00\xab.j8\xd0\xca\x03\r\xb22\x80\xc1V\x06Pi\xa5\xf5\xed\xacD\xdf\xdeJ\xf4!V\xa2\xef`%\xefP4\'\xaao\x98\x95\xbc\xc3\xad\x84\x1ca%\xd9H+qFYY\x8d\xd1Vmq8\xc6J\xbfc\xad$\x1bg\xa5\xd4\xf1V\x92\xedhe5v\xb2\xd2\xe4\x04\xabV:\x9che\x95\'\xa1\xb9Q\xc8\xc9V\xdd\xe5p\x8a\x95\xbcS\xad\xbaQ\xe14+\xd1\xa7[\xc9;\xc3J}3\xad\xec\xc3,+y\x03+\xfb\xbb\xb3\x95&g[\tYe\xa5\xb39Vf<\xd7\xca\xa6\xceC\xbbD!\xe7[I\xb6\xc0J\xb2\x85V\xc6\xbd\xc8\xca\x8c\x17[I\xb6\xc4\xca%\xab\xb6R\xdf.V6uW+M\xeef%\xd9\xeeV\x06\xbb\xd4\xca\xcd\xda\xc3J\x93\xcb\xac\xe4\xdd\x13\xcd\x8bB\xd6Xir\xb9\x95\xbc+\xac\x84\xac\xb52\xf9\xa4\x95\xbc{Y\x99|\x9d\x95&WZ\tYo\xa5\xbe\xbd\xadl\xdf*\xab\xdeYa\x83\x95q\xaf\xb6\x12r\x8d\x95&\x1b\xd1\xfc(Y\x93\x95d\xcdV\xeePhe\xe5Z\xact\xd6je\x9ak\xad\xd4\xb7\x8f\x95d\xeb\xac$[o%\xd9\xbeV:\xdb\xcfJ\xb2\xfd\xad\x8c\xfb\x00+\xf5m\xb0\xb2\x93\x07\xa2]\xa3d\x07YI\xb6\xd1\xca\xb87Y\xa9\xef`+y\x0f\xb1ry\x0f\xb5R\xdfaVB\x1ene\xc6\x9b\xadt\xb6\xc5\xca\xb8\xb7Z\x19\xf7\x11VB\x1ei%\xd9QV\x9a<\x1a-\x88B\x1ec%\xe4\xb1VFx\x9c\x95\xed;\xdeJ\x93\'X\ty\xa2\x95\x90\'Y\xe9\xf7d+!O\xb1rqN\xb5r\xbbO\xb3\xd2\xef\xe9V\xfa=\xc3\xca\xb8\xcf\xb4\x12\xf2,\xb4[\xb4\x93g[\ty\x8e\x95&\xcf\xb5r\xa5\xcf\xb3\xb2\x88\xe7[y\x8a\x0b\xac$\xbb\xd0J\x93\x17Yy\xaf_le\xf2\x97X\ty\xa9\x95&/\xb3\x12\xf2r+M^a%\xe4\x95ha\x14\xf2*+\xeby\xb5\x95\xbc\xd7X\ty\xad\x95\xc9_g%\xef\xf5V\xaa\xbe\xc1J\xbf7Zi\xf2&+M\xdele\xf2\xb7XIv\xab\x95\xf5\xbc\xcd\xcaN\xden%\xef\x1dhQ\x94\xecN+q\xee\xb2r\xa5\xef\xb6\xb2\x88\xf7X\x89s\xaf\x958\xf7Y\xa9\xef~+\xf5=`\xa5\xb3\x07\xad,\xe2CV\x92=l%\xd9#Vv\xf2Q+\xe3~\xccJ\x93\x8f\xa3\xdd\xa3\xc1>a%\xe4\x93VB>e\xa5\xbe\xa7\xad\xcc\xf8\x19+\xd1\x9f\xb52\xee\xe7\xact\xf6\xbc\x95\x95{\xc1J}/Z\x99\xf1KV\xf2\xbel%\xe4+VB\xbej\xa5\xd4\xd7\xd0\xe2(\xd9\xebV\x92\xbda%\xce\x9bV:{\xcb\xca\x15y\xdb\xca{\xe7\x1d+M\xbek\xa5\xc9\xf7\xac\x8c\xfb}+\xd1?\xb0\xb2\x9e\x1fZy\x8a\x8f\xacT\xfd\xb1\x95d\x9fX\x19\xf7\xa7h\x8fh\xdc\x9fY\xe9\xecs++\xf7\x85\x95\x0f\xc0/\xad\xdc\xee\xaf\xacD\xff\xdaJ\x93\xdfX\t\xf9\xad\x95\x0c\xdfY\xc9\xf0\xbd\x95&\x7f\xb0\xd2\xd9\x8fV\x92\xfdd%\xd9\xcfV\xc6\xfd\x0bZ\x12\x8d\xfbW+\xc9~\xb3\x92\xecw+\xa5\xfeae\'\xff\xb4\x92\xf7/+M\xfem\xa5\xb3\x7f\xac\xec\xe4\xbfV\xf2&R"e\xf2m\xacDO\xb1\xb2\x9em\xadL>\xd5J\xdevh\xcf(d{+!;X\t\xd9\xd1JgiV\xc6\x9dn\xa5\xbe\x0c+\x93\xefd\xa5\xc9\xceV\xc6\x9die\xc6YVBf[\xd9\xc9\x1c+!s\xad\x84\xecb\xa5\xea<\xb4W\xf4\xb2\xc9\xb7\x92\xb7\xab\x95\xf5,\xb0F\xdf\x7f\xadD/\xb4\xd2o\x91\x95;\xd4\xddJ\xd5\xc5V\xaa\xeea%z\x89\x95\xe8=\xadD\xefe%d\xa9\x95\xc9\x97Y\x19w9Z\x1a\xbd\'{[Y\xcf>VB\xf6\xb5\x92\xac\x9f\x958\x15V2\xf4\xb7R\xf5\x00+\xfd\x0e\xb4\xb2\x04\x83\xac$\x1ble\x1f*\xad\xd1\xf7_k\xf4\xfd\xd7J\xd5C\xac\xd1\xf7_\xb4,\n9\xd4J\xc8aV\xfa\x1dn%\xe4\x08+\xf5\x8d\xb4\x92w\x94\x95\xfaF[\xd9\x871V\x96`\xac\x95&\xc7YY\xcf\xf1V\xe2\xech\x8d\xbe\xffZI6\xc1\xca>LD\xcb\xa3\x90\x93\xac\x84\x9cl%\xe4\x14+K0\xd5J\xbf\xd3\xac,\xc1t+\xa5\xce\xb0\x12r\xa6\x95\x90\xb3\xac\x84\x0c\xac\xd1\xf7_+\xf5\xcd\xb6\xb2\x88UV\x16q\x8e\x95\x8b3W\x9a\xdc\x10\xce\x13*\xaa\xdb%\x12\x89\x86\xc6\xc6\xa6\x96p\xbe~\xdeZ\x9d\xae\x9fW\xafmh\xadO\xd6\xd6%[\xc2\x05\xfa\xe5\x96\xb5\xad\xe1Bq~\xb8H\x7fV\xa7\xf1\x1f\xe2\xeb\x92\xf5u+[\x93\xb5\xe1b\xfd\xaa\xaa:\x95\xdf55\xb6\x84K\xf8q\xed\xf2\xca\xff\x01\xfaV\xee\xb5');
G2=loads(b'x\x9cU\x98uT\x97\xe7\x1f\x86\x11\xc1\x00\x15\x10\x90.1\xb0\xb0\xbb;^\xc5V\x16\xce\xa10d\xa2\xc0\x0bL\x17n\xbaR\xd7\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xdd\xf1\xbb\xaf\xef\xfd\xfe\x0eg\xff\xec\xba\xe4\xec\xf8\xdc\xcf\xfd\xf9</;\xdb\x1a\xbf\xb6\xb9\xaa\xb6\xa6\xbc6\xacj\\\xd7\\^]\x17\x93\xa4\x19u\xb3cl\x8a\xeb\xb7\xad\xa9\xdd\x96\xa6\xf8\xb2\xca\xe4\xb8\xb8\xb8\xd5\xf5U-5\x9bW74\xb647\xb5\xaf\xa8\xec\xc4\x8f\xd6T\xad]_\xb3\xb1\xba)\xe1?\x7f\xd1\x9a\xaa\xe6\xc8\xff\xff/4\'\xb5nl\xac[\xbb\xbe\xbef\xf5\x7f~\x9e\xd4\x94X\xb6cUS\x87\xb2 .h\x17\xc4\x07\xed\x83\x84 1\xe8\x10t\x0c:\x05\x9d\x83\xa4 9\xe8\x12t\r\xba\x05)Aj\x90\x16t\x0f\xd2\x83\x8c 3\xe8\x11d\x05\xd9AN\x90\x1b\xe4\x05\xf9AAP\x18\x14\x05\xc5AI\xd03(\xadY\xd5\xd4\x91\xbf,\xb5b{S\'\xfeR\xb1\xb3X"&\x89\xa5b\xb2\xd8A\xec\x12\xb1k\xc4nb\x0f1E\xec(\xa6\x8aYb\x9a\x98-v\x17s\xc4t1I\xcc\x10s\xc5L\xb1\x8b\xd8C,\x14\xb3\xc4nb\xb6\xae\x14\'\xe6\x88\xe4\xc9\x15\xc9\x91\'\xf6\x14\xf3\xc5\xf6b\x81\x98 \x16\x8a\x9c_$rn\xb1\xc8y%b\xb2\xd8S\xe4\x9cR1_\xec%v\x15{\x8bEb\x1f1E\xec\xab"9\xa7LL\x13\xfb\x89\xdd\xc5\xfe\x14,\x0e\x10\xe9a\xa0\xc8\xb9\x83\xc4D\xb1\\\xa4\x87\xc1\x11\x87D\x1c*\x92k\x98H\x0f\xc3\xc5\xce\xe2\x08\x91\xfb\x8f\x14\xc91J,\x10G\x8b\xe4\x19\xa3q\x16\x8bcE\xe60N\x8c\x17\xc7\x8b\xe4\x99 f\x8a\x13E\xce\x99\x14qr\xc4)"\xe7N\x15;\x89\xd3D\xfa\x98.\xd2\xc3\x0c\x91\x1ef\x8a\x9c?K\xe4\xfc\xd9"\xfd\xcf\x11\xc91WKE\xff\xf3Dr\x04"\xbd\xcc\x17\xc9\xb3@\xa4\x8f\n1]\\(\x92k\x91\xc8\xf9\x8bE\xe6\xb1D\xe4\xdeKE\xe6\xbfLd.\xcb\xc5<q\x85H\x8e\x95"\xe7Vj\x95\x99\xc3."\xe7\xed*r\xden"\xf3\xdf]\xa4\x87U"\xe7\xec!\xb2w\xabE\xce\xd9S\xe4\x9c*\x91s\xd6\x88\xdcw\xad\xc8=\xabE\xf6\xadF\xe4\xbe{\x89\xcc\xbfV\x0f\x88\xbd[\x17\xb1Nd\x0e{G\\/\xd2G}\xc4\r"\xb96Fl\x10\xd9\x93\xc6\x88M"\xfd\x87\x11\x9bE\xf6\xa0%b\xabH\xde}"n\x12\xc9\xbd9\xe2\xbe"{\xb2_\xc4\xfdE\xees@\xc4-"\xf3<0\xe2A"=n\x8d\xb8M\xe4\xbe\x07G<D\xe4\xde\x87F<L\x9f\x0b\xeey\xb8\xc8\xfd\xb6\x8b\xf4\xbeC\xa4\xe7\x9db\x86x\x84\xc8\x9e\x1f)2\xdf\xa3Dz?Z$\xe71"\xf9\x8e\x15\x99\xe7q"\xe7\x1f/r\xce\t"=\x9f(2\xdf\x93\xf4\x91\xa2\xbf\x93E\xe6{\x8a\xc8<O\x15\xe9\xed4\x91sO\x179\xef\x0c\x91\xbd>3\xe2Y\x11\xcf\x16\xe9\xf1\x1c\x91\x1c\xe7\x8a\x9c\x7f\x9eH\x1f\xe7\x8b\xcc\xfd\x02\x91\x1c\x17\x8a\x9c\x7f\x91\xc8\xbc/\xd6\xa7\x92{_"\x92\xe3R\x919^&r\xff\xcbE\xf6\xfa\n\x91\xf7~\xa5H\xae\xabD\xfa\xb8Z$\xc75\x11\xaf\x8dx\x9dH?\xd7\x8b\xe4\xbbA\xe4\xfd\xdd\xc8\xa7Y\xbcId~7\x8b\xe4\xbcE\x1fl\xe6p\xabH\x9e\xdbD\xfa\xb9]$\xd7\x1d"\xe7\xdf)r\xee]"\xbd\xdc-r\xde=\x11\xef\x8dx\x9f\xc8\xf9\xf7\x8b\xbc\x8b\x07D\xde\xe1\x83"{\xf8\x90\xc8\xbe=,\xd2\xcf#"\xfd<\xaa_\x1b\x9c\xfb\x98\xc8{\x7f\\\xa4\x87\'DzxR$\xc7S"9\x9e\x169\xef\x99\x88\xcfF|N\xe4\xef\x7f^d\x1e/\xf0\xebH|Qd/^\x12\xd9\xc7\x97E\xce}Ed?^\x15\x99\xcbk\xfa\xe5E\x1f\xaf\x8b\xe4xC\xa4\x877E\xf6\xe3-\x919\xbc-r\xde;\x11\xdf\x8d\xf8\x9e\xc8\xfd\xdf\x17\xb9\xef\x07"y>\x14\x99\xc3G"\xfb\xfa\xb1\xc8\x1c>\x11\xc9\xf9\xa9H\x8e\xcfDr|\xae_\xa1\xcc\xe3\x0b\x91\x1c_\x8a\xec\xc7W"\xbd|-\x92\xe7\x1b\x91\xef\xe0\xb7"\xfd|\'\x92\xe3\xfb\x88?D\xfcQd\x1e?\x89\x9c\xff\xb3\xc8\xf9\xbf\x88\x9c\xff\xab\xc8<~\x13\xe9\xe5w\x91}\xfdC\xbf\xc8\xe9\xe3O\x91w\xf2\x97\xc8\xb9\x7f\x8b\x9c\xfb\x8f\xc8|\xfe\x155\x970\xae]\x9c~\x91\xb2"a;\xab\xda\x08\xe3\xad\n\x10\xb6\xb7\xaa\x8b0\xc1\xaa\x18a\xa2UI\xc2\x0eV\r-\xech\xd5\xbc\xc2NVE\x0b;\xa3)\xb4\x12&Y\xf5\xe1\x08\x93\xad\x9aU\xd8\xc5\xaaXaW\xab&\x16v\xb3\x122\xc5\xaa\xbd\x0cS\xad\x1aU\x98fU;aw+\xc9\xd2\xad\xc4\xc9\xb0\xaa\xa60\xd3J\xb2\x1eV\x92eY\xd5[\x98\x8d\xa6R]\x98c%o\xae\x95\xbcyV\xcd2\xcc\xb7\xaa\xde\xb0\xc0\xaaI\x86\x85V\x9a,\xb2j\x8eaq\x9b\x96\xb4iO+\x17*\xb5r\xa1^V}\x06\xc2\xdeV}\x01\xc2>V\xee\xd6\xd7J\xebeV.\xd4\x0fM\x8b\x85\xeco\xd5\xe2\x85\x03\xac\x9ay8\xd0J\xc8AVJ-\xb7\x92w\xb0\x95\x0cC\xacz\x02\xe1P+\x93\x1ff%\xcep+\xad\x8f\xb0\x12g\xa4\x95\xd6GYi}\xb4U\xef#\x1c\x83v\xe7\x93\x11\x8e\xb5\x12r\x9c\x95R\xc7[\xb5\xab\xe1\x04+\xd1\'Z\xd9\x87IV\xa2O\xb6\xb2\xa9S\xac49\xd5\xca-\xa6Yir\xba\x95\x903\xac$\x9bi\xa5\xbeYV=\xe6p6\x9a\xce;\x0e\xe7X\xc90\xd7J}\xf3\xac\xc4\t\xac\xd47\xdfJ\x86\x05V\x0e\xae\xb0\xd2\xe4B+M.\xb22\xcd\xc5V2,\xb1\xb2\x93K\xad\xc4Yfe=\x97[ir\x05\x9a\x11\x0b\xb9\xd2J}\x95Vvr\x17+\xcfiW+E\xedf\xe5I\xefn%\xef*+\x9d\xeda%\xfaj+\xd1\xf7\xb42\xee*+M\xae\xb12\xee\xb5VBV[\tY\x83f\xc6B\xeeee\xf2\xb5V6u\x9d\x95\xe7_ge\xf2{[\x89\xbe\xdeJ\xeb\xf5V\xa2o\xb0\x92w\xa3\x95R\x1b\xac\xacg\xa3\x95\x90MV\xfa\r\xad\x94\xdal%o\x0b\xda#\xf6\xe6[\xad\xbc\xf9}\xac\xac\xe7&+\xa5n\xb6\x12r_+\xc9\xf6\xb3\xb2\x0f\xfb[Y\xcf\x03\xac\xe4\xddb\xa5\xea\x03\xad\x94z\x90\x95\xbc[\xad4\xb9\xcdJ\xc8\x83\xad\x84<\x04\xcd\x8a\x85<\xd4J\xa9\x87Y)\xf5p+\xd1\xb7[\xc9\xbb\xc3\xca\xfe\xee\xb4R\xea\x11V\xa2\x1fi%\xfaQV\xb6\xe4h+\xc9\x8e\xb12\xf9c\xad<\x9c\xe3\xac\x94z\xbc\x95q\x9f\x80f\xc7B\x9eh%\xd9IV\xc6}\xb2\x95RO\xb1\xb2\xb4\xa7Z\xc9{\x9a\x95\xbc\xa7[\xc9{\x86\x95\x90gZ\xf9z\x9e\xd5\xa6g\xb7\xe99VV\xe3\\+U\x9fgeK\xce\xb7\xf2\xc8.\xb0\xd2\xef\x85hN,\xfaEV\xfa\xbd\xd8J\xa9\x97X\xb9\xc5\xa5V\x96\xf62+\xb7\xb8\xdc\xcaj\\a\xe5\x16WZ\xb9\xc5UV>\x15W[yd\xd7X\ty\xad\x95%\xb8\xceJ\xd5\xd7[\xd9\x87\x1b\xd0\xdcX\xc8\x1b\xad\x84\xbc\xc9J\xb2\x9b\xad$\xbb\xc5J\xd5\xb7Z\x89s\x9b\x95&o\xb7\xd2\xd9\x1dmzg\x9b\xdeee\x7f\xef\xb6\xb2\xbf\xf7XyY\xf7Z\xc9{\x9fU\xff\xa9\x16\xdeoe5\x1e\xb0\xb2\x1a\x0f\xa2y\xb1}x\xc8J\xc8\x87\xad\xd4\xf7\x88\x95%x\xd4J\xde\xc7\xacl\xea\xe3V\xa2?a\xa5\xc9\'\xad\x84|\xca\xca\xe4\x9f\xb6\xb2\xb4\xcfX\xf9\xd2>k%\xefsV\xf2>o\xa5\xdf\x17\xd0\xfcX\xa9/Z\x99\xfcKV\xf2\xbel%\xef+V\xf2\xbeje\xf2\xafY\x89\xfe\xba\x95/\xc1\x1bV\xea{\xd3J\xc8\xb7\xac\xec\xe4\xdbV\xde\xdb;V\x92\xbdkeS\xdf\xb3\xd2\xe4\xfbhA,\xe4\x07VJ\xfd\xd0\xca\x12|de\xf2\x1f[\t\xf9\x89\x95\x90\x9fZ\xd9\xc9\xcf\xac\x84\xfc\xdcJ\xa9_XY\x82/\xdb\xf4\xab6\xfd\xda\xca\x85\xbe\xb1R\xf5\xb7V\xaa\xfe\xceJ\xa9\xdf[\x89\xfe\x03Z\x18\xdb\xdf\x1f\xad\x14\xf5\x93\x958?[\x89\xf3\x8b\x95\xd3~m\xd3\xdf\xda\xf4w+\x93\xff\xc3J\xa9\x7fZyY\x7fY)\xf5o+\xc9\xfe\xb1\xf2\xb2\xfe\xb5Ru\\|L\xc9\xdb\xce\xcaG!\xdeJ\xf4\xf6hQl\x1f\x12\xacT\x9dh\xa5\xea\x0eV\xfa\xedh\xe5B\x9d\xac\xecog+\xfb\x9bd\xa5\xead+\x1f\xdd.V.\xd4\xd5\xca\x85\xbaY\xb9P\x8a\x95\xbc\xa9VV#\xcdJ\xc8\xeehql=\xd3\xad\xc4\xc9\xb0\x12\'\xd3J\x86\x1eV2dY)5\xbbMs\xda4\xd7J\xb2<+\x93\xcf\xb7\xf2\xe5*\xb0\xb2\xca\x85VZ/\xb2\xb2\x1a\xc5VZ/\xb1r\x8b\x9eV>\x15\xa5hIl5zY\xd9\xea\xdeVZ\xefc\xe5\x15\xf6\xb5\xd2z\x99\x95\x1b\xf7\xb3\xb2;\xfd\xad\xdcm\x80\x95\xe8\x03\xad49\xc8J\xder+!\x07[\x893\xc4\xca\x12\x0c\xb5\xd2\xef0\xb4g\xec\xe9\r\xb7\x12r\x84\x95\x90#\xad\xac\xc6(+Oo\xb4\x95\xd6\xc7X\t9\xd6J\xb2qV\x92\x8d\xb7R\xea\x04+!\'Z\xd9\xdfIV\xbe\xbf\x93\xad\x94:\xc5J\xa9S\xd1\xd2X\x93\xd3\xact6\xddJg3\xac$\x9bie5fY\xd9\xd4\xd9Vf<\xc7J\xb2\xb9V\xe2\xcc\xb3\xd2Y`%\xce|+q\x16X\x89SaeS\x17Zyd\x8b\xa45[\xc2\xc5BYeb\\\\\\}CCcs\xb8D\x7f\xdeY\x99\xa4?oh\xado\xa9\xab\xa9\xae\xadi\x0e\x97\xea\x87;Z[\xc2e\xe2\x92p\xb9\xfeY\xd9\x99\xff!\xbe\xa9\xa6\xaev]KMu\xb8B?\xaa\xa8L\xe0g\x8d\r\xcd\xe1J\xfe\xd8\xba\xa6\xfc\x7f\xab.\xf0\xfe')
print("isomorphic? ",G1.is_isomorphic(G2)) #True
print("equal trees?",G1.spanning_trees_count()==G2.spanning_trees_count()) #False
iso,map=G1.is_isomorphic(G2,certificate=True)
G3=G1.copy()
G3.relabel(lambda x: map[x])
print("verify iso",G3==G2) #True
