Skip to content

Instantly share code, notes, and snippets.

@lethern
Created April 6, 2025 13:12
Show Gist options
  • Save lethern/c85318b815a2e5ad8b4eb0637a7d4b5d to your computer and use it in GitHub Desktop.
Save lethern/c85318b815a2e5ad8b4eb0637a7d4b5d to your computer and use it in GitHub Desktop.
606026600, states 42, hash(depth) 1049636110(4)
616026600, states 8, hash(depth) 623785658(3)
606126600, states 8, hash(depth) 613885658(3)
616126600, states 2, hash(depth) 158491417(2)
606036600, states 26, hash(depth) 906136517(3)
616036600, states 6, hash(depth) 475364201(2)
606136600, states 6, hash(depth) 455564201(2)
616136600, states 2, hash(depth) 158531387(1)
606046600, states 1, hash(depth) 606046600(0)
606006610, states 376, hash(depth) 567139364(6)
616006610, states 146, hash(depth) 348165279(5)
606106610, states 146, hash(depth) 348165279(5)
616106610, states 66, hash(depth) 753849386(4)
606016610, states 6, hash(depth) , 475474194(5)
616016610, states 2, hash(depth) , 158491398(4)
606116610, states 2, hash(depth) , 158491398(4)
616116610, states 1, hash(depth) , 616116611(3)
606026610, states 6, hash(depth) 475534194(3)
616026610, states 2, hash(depth) 158511398(2)
606126610, states 2, hash(depth) 158511398(2)
616126610, states 1, hash(depth) 616126611(1)
606036610, states 6, hash(depth) 455394192(2)
616036610, states 2, hash(depth) 158431397(1)
606136610, states 2, hash(depth) 148531397(1)
616136610, states 1, hash(depth) 616136610(0)
606006630, states 12, hash(depth) 880248562(2)
616006630, states 3, hash(depth) 764418037(1)
606106630, states 3, hash(depth) 754518037(1)
616106630, states 1, hash(depth) 616106630(0)
606016630, states 3, hash(depth) 754408067(1)
616016630, states 1, hash(depth) 616016630(0)
606116630, states 1, hash(depth) 606116630(0)
606006640, states 4, hash(depth) 286652913(1)
616006640, states 1, hash(depth) 616006640(0)
606106640, states 1, hash(depth) 606106640(0)
606016640, states 1, hash(depth) 606016640(0)
606026601, states 20, hash(depth) 410172424(3)
616026601, states 4, hash(depth) 306782843(2)
606126601, states 4, hash(depth) 296882843(2)
616126601, states 1, hash(depth) 616106630(1)
606036601, states 8, hash(depth) 593555747(2)
616036601, states 2, hash(depth) 158401417(1)
606136601, states 2, hash(depth) 148501417(1)
616136601, states 1, hash(depth) 616136601(0)
606006611, states 78, hash(depth) 469076436(5)
616006611, states 38, hash(depth) 692163431(4)
606106611, states 38, hash(depth) 692163431(4)
616106611, states 18, hash(depth) 281991007(3)
606016611, states 2, hash(depth) , 158491398(4)
616016611, states 1, hash(depth) , 616116611(3)
606116611, states 1, hash(depth) , 616116611(3)
616116611, states 1, hash(depth) , 616116611(2)
606026611, states 2, hash(depth) 158511398(2)
616026611, states 1, hash(depth) 616126611(1)
606126611, states 1, hash(depth) 616126611(1)
616126611, states 1, hash(depth) 616126611(0)
606036611, states 2, hash(depth) 148431398(1)
616036611, states 1, hash(depth) 616036611(0)
606136611, states 1, hash(depth) 606136611(0)
606006631, states 3, hash(depth) 754388069(1)
616006631, states 1, hash(depth) 616006631(0)
606106631, states 1, hash(depth) 606106631(0)
606016631, states 1, hash(depth) 606016631(0)
606006641, states 1, hash(depth) 606006641(0)
606020605, states 24, hash(depth) , 828275048(6)
616020605, states 6, hash(depth) , 475504218(5)
606120605, states 6, hash(depth) , 475504218(5)
616120605, states 2, hash(depth) , 158501406(4)
606030605, states 24, hash(depth) , 828515048(5)
616030605, states 6, hash(depth) , 475564218(4)
606130605, states 6, hash(depth) , 475564218(4)
616130605, states 2, hash(depth) , 158521406(3)
606040605, states 24, hash(depth) 828755048(4)
616040605, states 6, hash(depth) 475624218(3)
606140605, states 6, hash(depth) 475624218(3)
616140605, states 2, hash(depth) 158541406(2)
606021605, states 6, hash(depth) , 475504218(5)
616021605, states 2, hash(depth) , 158501406(4)
606121605, states 2, hash(depth) , 158501406(4)
616121605, states 1, hash(depth) , 616121615(3)
606031605, states 6, hash(depth) , 475564218(4)
616031605, states 2, hash(depth) , 158521406(3)
606131605, states 2, hash(depth) , 158521406(3)
616131605, states 1, hash(depth) , 616131615(2)
606041605, states 6, hash(depth) 475624218(3)
616041605, states 2, hash(depth) 158541406(2)
606141605, states 2, hash(depth) 158541406(2)
616141605, states 1, hash(depth) 616141615(1)
606000615, states 1484, hash(depth) 76092874(8)
616000615, states 228, hash(depth) 891211100(7)
606100615, states 228, hash(depth) 891211100(7)
616100615, states 102, hash(depth) 568338938(6)
606010615, states 800, hash(depth) 623685046(7)
616010615, states 212, hash(depth) 28272841(6)
606110615, states 212, hash(depth) 28272841(6)
616110615, states 66, hash(depth) 753849386(5)
606020615, states 6, hash(depth) , 475504218(5)
616020615, states 2, hash(depth) , 158501406(4)
606120615, states 2, hash(depth) , 158501406(4)
616120615, states 1, hash(depth) , 616121615(3)
606030615, states 6, hash(depth) , 475564218(4)
616030615, states 2, hash(depth) , 158521406(3)
606130615, states 2, hash(depth) , 158521406(3)
616130615, states 1, hash(depth) , 616131615(2)
606040615, states 6, hash(depth) 475624218(3)
616040615, states 2, hash(depth) 158541406(2)
606140615, states 2, hash(depth) 158541406(2)
616140615, states 1, hash(depth) 616141615(1)
606001615, states 228, hash(depth) 891211100(7)
616001615, states 102, hash(depth) 568338938(6)
606101615, states 102, hash(depth) 568338938(6)
616101615, states 60, hash(depth) 460794884(5)
606021615, states 2, hash(depth) , 158501406(4)
616021615, states 1, hash(depth) , 616121615(3)
606121615, states 1, hash(depth) , 616121615(3)
616121615, states 1, hash(depth) , 616121615(2)
606031615, states 2, hash(depth) , 158521406(3)
616031615, states 1, hash(depth) , 616131615(2)
606131615, states 1, hash(depth) , 616131615(2)
616131615, states 1, hash(depth) , 616131615(1)
606041615, states 2, hash(depth) 158541406(2)
616041615, states 1, hash(depth) 616141615(1)
606141615, states 1, hash(depth) 616141615(1)
616141615, states 1, hash(depth) 616141615(0)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment